Model-checking for real-time systems
Top Cited Papers
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 414-425
- https://doi.org/10.1109/lics.1990.113766
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- A logic of concrete time intervalsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- 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
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977