Software Verification with BLAST
Top Cited Papers
- 15 April 2003
- book chapter
- Published by Springer Nature
- p. 235-239
- https://doi.org/10.1007/3-540-44829-2_17
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Temporal-Safety Proofs for Systems CodePublished by Springer Nature ,2002
- CVC: A Cooperating Validity CheckerPublished by Springer Nature ,2002
- CIL: Intermediate Language and Tools for Analysis and Transformation of C ProgramsPublished by Springer Nature ,2002
- Lazy abstractionPublished by Association for Computing Machinery (ACM) ,2002
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Experience with Predicate AbstractionPublished by Springer Nature ,1999
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997