On-the-fly model checking of RCTL formulas
- 1 January 1998
- book chapter
- Published by Springer Science and Business Media LLC
- p. 184-194
- https://doi.org/10.1007/bfb0028744
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Science and Business Media LLC ,2005
- Bug identification of a real chip design by symbolic model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Another Look at LTL Model CheckingFormal Methods in System Design, 1997
- RuleBasePublished by Association for Computing Machinery (ACM) ,1996
- Using formal verification/analysis methods on the critical path in system design: A case studyLecture Notes in Computer Science, 1995
- Model checking and modular verificationACM Transactions on Programming Languages and Systems, 1994
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Temporal logic can be more expressivePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981