Model Checking of Safety Properties
- 1 January 1999
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 172-183
- https://doi.org/10.1007/3-540-48683-6_17
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Testing Language Containment for ω-Automata Using BDDsInformation and Computation, 1995
- Reasoning about Infinite ComputationsInformation and Computation, 1994
- Safety, liveness and fairness in temporal logicFormal Aspects of Computing, 1994
- Memory-efficient algorithms for the verification of temporal propertiesFormal Methods in System Design, 1992
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Recognizing safety and livenessDistributed Computing, 1987
- Defining livenessInformation Processing Letters, 1985
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Alternative semantics for temporal logicsTheoretical Computer Science, 1983
- AlternationJournal of the ACM, 1981