Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 222-235
- https://doi.org/10.1007/3-540-48683-6_21
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- Proving correctness of distributed algorithms using high-level Petri nets-a case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On-the-fly model checking of RCTL formulasPublished by Springer Nature ,1998
- A new heuristic for bad cycle detection using BDDsPublished by Springer Nature ,1997
- VIS: A system for verification and synthesisLecture Notes in Computer Science, 1996
- Algorithms for approximate FSM traversal based on state space decompositionIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
- Another look at LTL model checkingPublished by Springer Nature ,1994
- Efficient model checking by automated ordering of transition relation partitionsPublished by Springer Nature ,1994
- Representing circuits more efficiently in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986