Bebop: A Symbolic Model Checker for Boolean Programs
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 113-130
- https://doi.org/10.1007/10722468_7
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- MOCHA: Modularity in model checkingLecture Notes in Computer Science, 1998
- You assume, we guarantee: Methodology and case studiesLecture Notes in Computer Science, 1998
- Reachability analysis of pushdown automata: Application to model-checkingLecture Notes in Computer Science, 1997
- A compositional rule for hardware design refinementLecture Notes in Computer Science, 1997
- Precise interprocedural dataflow analysis with applications to constant propagationTheoretical Computer Science, 1996
- VIS: A system for verification and synthesisLecture Notes in Computer Science, 1996
- COSPANLecture Notes in Computer Science, 1996
- The Mur ϕ verification systemLecture Notes in Computer Science, 1996
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986