Model Checking on Trees with Path Equivalences
- 4 July 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Decentralized RobustnessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Preserving Secrecy Under RefinementLecture Notes in Computer Science, 2006
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Science and Business Media LLC ,2005
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingLecture Notes in Computer Science, 2002
- Alternating-time temporal logicJournal of the ACM, 2002
- An automata-theoretic approach to branching-time model checkingJournal of the ACM, 2000
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Monadic second order definable relations on the binary treeThe Journal of Symbolic Logic, 1987
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977