Algorithmic verification of linear temporal logic specifications
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- A new heuristic for bad cycle detection using BDDsPublished by Springer Nature ,1997
- A platform for combining deductive with algorithmic verificationPublished by Springer Nature ,1996
- Faster algorithms for the nonemptiness of streett automata and for communication protocol pruningPublished by Springer Nature ,1996
- Another look at LTL model checkingPublished by Springer Nature ,1994
- Completing the temporal pictureTheoretical Computer Science, 1991
- The μ-calculus as an assertion-language for fairness argumentsInformation and Computation, 1989
- The glory of the pastPublished by Springer Nature ,1985
- Specification and verification of concurrent systems in CESARPublished by Springer Nature ,1982
- Impartiality, justice and fairness: The ethics of concurrent terminationPublished by Springer Nature ,1981