Resets vs. Aborts in Linear Temporal Logic
- 28 February 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 14 references indexed in Scilit:
- The ForSpec Temporal Logic: A New Temporal Property-Specification LanguageLecture Notes in Computer Science, 2002
- The Temporal Logic SugarLecture Notes in Computer Science, 2001
- Model Checking of Safety PropertiesFormal Methods in System Design, 2001
- An automata-theoretic approach to linear temporal logicPublished by Springer Science and Business Media LLC ,1996
- Reasoning about Infinite ComputationsInformation and Computation, 1994
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Automata-theoretic techniques for modal logics of programsJournal of Computer and System Sciences, 1986
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Alternating finite automata on ω-wordsTheoretical Computer Science, 1984
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977