Bebop: A Symbolic Model Checker for Boolean Programs
Top Cited Papers
- 1 January 2000
- book chapter
- Published by Springer Nature
- 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 checkingPublished by Springer Nature ,1998
- You assume, we guarantee: Methodology and case studiesPublished by Springer Nature ,1998
- Reachability analysis of pushdown automata: Application to model-checkingPublished by Springer Nature ,1997
- A compositional rule for hardware design refinementPublished by Springer Nature ,1997
- VIS: A system for verification and synthesisLecture Notes in Computer Science, 1996
- COSPANPublished by Springer Nature ,1996
- The Mur ϕ verification systemPublished by Springer Nature ,1996
- Precise interprocedural dataflow analysis with applications to constant propagationTheoretical Computer Science, 1996
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986