Symbolic model checking for distributed real-time systems
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 632-651
- https://doi.org/10.1007/bfb0024671
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Symbolic model checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Symbolic Model CheckingPublished by Springer Nature ,1993
- TRIO: A logic language for executable specifications of real-time systemsJournal of Systems and Software, 1990
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977