Symbolic model checking for real-time systems
Top Cited Papers
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Symbolic model checking: 10/sup 20/ states and beyondPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Research on Automatic Verification of Finite-State Concurrent SystemsAnnual Review of Computer Science, 1987
- Safety without stutteringInformation Processing Letters, 1986
- 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
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- A unified approach for studying the properties of transition systemsTheoretical Computer Science, 1982
- Specification and verification of concurrent systems in CESARPublished by Springer Nature ,1982