Temporal-Safety Proofs for Systems Code
- 20 September 2002
- book chapter
- Published by Springer Nature
- p. 526-538
- https://doi.org/10.1007/3-540-45657-0_45
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- CIL: Intermediate Language and Tools for Analysis and Transformation of C ProgramsPublished by Springer Nature ,2002
- The SLAMprojectACM SIGPLAN Notices, 2002
- Certifying Model CheckersPublished by Springer Nature ,2001
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- An empirical study of operating systems errorsPublished by Association for Computing Machinery (ACM) ,2001
- Logic Verification of ANSI-C Code with SPINPublished by Springer Nature ,2000
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Experience with Predicate AbstractionPublished by Springer Nature ,1999
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- A framework for defining logicsJournal of the ACM, 1993