Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
- 1 January 1999
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- 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 Science and Business Media LLC ,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 Science and Business Media LLC ,1998
- A new heuristic for bad cycle detection using BDDsLecture Notes in Computer Science, 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 checkingLecture Notes in Computer Science, 1994
- Efficient model checking by automated ordering of transition relation partitionsLecture Notes in Computer Science, 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