Automatically validating temporal safety properties of interfaces
Top Cited Papers
- 2 May 2001
- book chapter
- Published by Springer Nature
- p. 102-122
- https://doi.org/10.1007/3-540-45139-0_7
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Boolean and Cartesian Abstraction for Model Checking C ProgramsPublished by Springer Nature ,2001
- Checking System Rules Using System-Specific, Programmer-Written Compiler ExtensionsPublished by Defense Technical Information Center (DTIC) ,2000
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Temporal abstract interpretationPublished by Association for Computing Machinery (ACM) ,2000
- Bebop: A Symbolic Model Checker for Boolean ProgramsPublished by Springer Nature ,2000
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Data flow analysis for verifying properties of concurrent programsPublished by Association for Computing Machinery (ACM) ,1994
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986