MOCHA: Modularity in model checking
- 1 January 1998
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 521-525
- https://doi.org/10.1007/bfb0028774
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Reactive modulesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Alternating-time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Symbolic exploration of transition hierarchiesPublished by Springer Science and Business Media LLC ,1998
- Modularity for timed and hybrid systemsLecture Notes in Computer Science, 1997
- VIS: A system for verification and synthesisLecture Notes in Computer Science, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Parallel Program DesignPublished by Springer Science and Business Media LLC ,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