Model Checking Software

@inproceedings{Bosnacki2002ModelCS,
  title={Model Checking Software},
  author={Dragan Bosnacki and Stefan Edelkamp},
  booktitle={Lecture Notes in Computer Science},
  year={2002}
}
Model Checking was introduced more than 30 years ago and, thanks to a steady stream of improvements and new approaches, has developed into a widely used and quite effective tool for verifying some classes of programs. Surveying and reflecting on these developments, this talk attempts to highlight the main lessons learned from the last three decades of research on the topic. Then, looking towards the future, it speculates on what the next decades could bring and on whether it would not be time… CONTINUE READING

Similar Papers

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 36 REFERENCES