Automatically validating temporal safety properties of interfaces
Authors:
- 2 May 2001
- book chapter
- Published by Springer Nature
- p. 102-122
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Automatic predicate abstraction of C programs2001
- Boolean and Cartesian Abstraction for Model Checking C Programs2001
- Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions2000
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000
- Unification-based pointer analysis with directional assignments2000
- Temporal abstract interpretation2000
- Bebop: A Symbolic Model Checker for Boolean Programs2000
- Counterexample-Guided Abstraction Refinement2000
- Data flow analysis for verifying properties of concurrent programs1994
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986