A space-efficient on-the-fly algorithm for real-time model checking
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 514-529
- https://doi.org/10.1007/3-540-61604-7_73
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Quantitative temporal reasoningPublished by Springer Nature ,2005
- A theory of timed automataPublished by Elsevier ,2002
- The benefits of relaxing punctualityJournal of the ACM, 1996
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A really temporal logicJournal of the ACM, 1994
- Real-time and the Mu-Calculus (preliminary report)Published by Springer Nature ,1992
- Logics and models of real time: A surveyPublished by Springer Nature ,1992
- Alternating automata on infinite treesTheoretical Computer Science, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985