Logics and models of real time: A survey
- 1 January 1992
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 74-106
- https://doi.org/10.1007/bfb0031988
Abstract
No abstract availableKeywords
This publication has 35 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Real-time logics: complexity and expressivenessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The benefits of relaxing punctualityPublished by Association for Computing Machinery (ACM) ,1991
- Timing assumptions and verification of finite-state concurrent systemsLecture Notes in Computer Science, 1990
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- The temporal logic of branching timePublished by Association for Computing Machinery (ACM) ,1981
- Proving real-time properties of programs with temporal logicPublished by Association for Computing Machinery (ACM) ,1981