Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 163-179
- https://doi.org/10.1007/3-540-48092-7_8
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- CTL model checking based on forward state traversalPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient on-the-fly model checking for CTLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hybrid Systems: Computation and ControlPublished by Springer Nature ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- RuleBase: Model checking at IBMPublished by Springer Nature ,1997
- Another Look at LTL Model CheckingFormal Methods in System Design, 1997
- Local model checking for infinite state spacesTheoretical Computer Science, 1992
- Tableau-based model checking in the propositional mu-calculusActa Informatica, 1990
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986