Software Verification with BLAST
Authors:
- 15 April 2003
- book chapter
- Published by Springer Nature
- p. 235-239
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Temporal-Safety Proofs for Systems Code2002
- CVC: A Cooperating Validity Checker2002
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs2002
- Lazy abstraction2002
- Automatic predicate abstraction of C programs2001
- Experience with Predicate Abstraction1999
- Proof-carrying code1997