Quantitative temporal reasoning
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 136-145
- https://doi.org/10.1007/bfb0023727
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- A Graph-Theoretic Approach for Timing Analysis and its ImplementationIEEE Transactions on Computers, 1987
- Modalities for model checking: branching time logic strikes backScience of Computer Programming, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- Automata, tableaux, and temporal logicsLecture Notes in Computer Science, 1985
- Deciding full branching time logicInformation and Control, 1984
- The temporal logic of branching timeActa Informatica, 1983
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979