Deductive model checking
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 208-219
- https://doi.org/10.1007/3-540-61474-5_70
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- Verification of temporal propertiesJournal of Logic and Computation, 1996
- STeP: Deductive-algorithmic verification of reactive and real-time systemsPublished by Springer Nature ,1996
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Temporal verification diagramsPublished by Springer Nature ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Verifying Temporal Properties of SystemsPublished by Springer Nature ,1992
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Specification and verification of concurrent systems in CESARPublished by Springer Nature ,1982