MOCHA: Modularity in model checking
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 521-525
- https://doi.org/10.1007/bfb0028774
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Reactive modulesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Alternating-time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Symbolic exploration of transition hierarchiesPublished by Springer Nature ,1998
- Modularity for timed and hybrid systemsPublished by Springer Nature ,1997
- VIS: A system for verification and synthesisLecture Notes in Computer Science, 1996
- Parallel Program DesignPublished by Springer Nature ,1989
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977