Structural Symbolic CTL Model Checking of Asynchronous Systems
- 1 January 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Science and Business Media LLC ,2005
- Saturation UnboundLecture Notes in Computer Science, 2003
- Saturation: An Efficient Iteration Strategy for Symbolic State—Space GenerationLecture Notes in Computer Science, 2001
- Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov ModelsINFORMS Journal on Computing, 2000
- Efficient Symbolic State-Space Construction for Asynchronous SystemsLecture Notes in Computer Science, 2000
- Symbolic guided search for CTL model checkingPublished by Association for Computing Machinery (ACM) ,2000
- An Algorithm for Strongly Connected Component Analysis in n log n Symbolic StepsLecture Notes in Computer Science, 2000
- NuSMV: A New Symbolic Model VerifierLecture Notes in Computer Science, 1999
- Efficient Reachability Set Generation and Storage Using Decision DiagramsLecture Notes in Computer Science, 1999
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992