Generalized Model Checking: Reasoning about Partial State Spaces
- 21 December 2000
- book chapter
- Published by Springer Nature
- p. 168-182
- https://doi.org/10.1007/3-540-44618-4_14
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- Model Checking Partial State Spaces with 3-Valued Temporal LogicsPublished by Springer Nature ,1999
- An automata-theoretic approach to branching-time model checking (Extended abstract)Published by Springer Nature ,1994
- Many-Vawed Modal Logics IIFundamenta Informaticae, 1992
- Many-Valued Modal LogicsFundamenta Informaticae, 1991
- Realizable and unrealizable specifications of reactive systemsPublished by Springer Nature ,1989
- Some modal logics based on a three-valued logic.Notre Dame Journal of Formal Logic, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983