Lazy Annotation for Program Testing and Verification
- 1 January 2010
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Compositional may-must program analysisACM SIGPLAN Notices, 2010
- Lazy Abstraction with InterpolantsLecture Notes in Computer Science, 2006
- An interpolating theorem proverTheoretical Computer Science, 2005
- DARTACM SIGPLAN Notices, 2005
- Lazy abstractionACM SIGPLAN Notices, 2002
- The S LAM projectACM SIGPLAN Notices, 2002
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957