Software Verification with BLAST
Top Cited Papers
- 15 April 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- 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 CodeLecture Notes in Computer Science, 2002
- CVC: A Cooperating Validity CheckerLecture Notes in Computer Science, 2002
- CIL: Intermediate Language and Tools for Analysis and Transformation of C ProgramsLecture Notes in Computer Science, 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 AbstractionLecture Notes in Computer Science, 1999
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997