Automatic Software Model Checking Using CLP
Author:
- 28 February 2003
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 189-203
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Quickly detecting relevant program invariants2002
- Extended static checking for Java2002
- Virtual Storytelling Using Virtual Reality Technologies for Storytelling2001
- Houdini, an Annotation Assistant for ESC/Java2001
- Annotation inference for modular checkersInformation Processing Letters, 2001
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000
- Model Checking in CLP1999
- Construction of abstract state graphs with PVS1997
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977