Abstract BDDs: A technique for using abstraction in model checking

DOI10.1007/3-540-48153-2_14MaRDI QIDQ4494391zbMATH OpenFDO

Authors Somesh Jha, Dong Wang, Edmund Clarke, Yuan Lu

Publication date 11 December 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48153-2_14

zbMATH Keywords

abstract binary decision diagramsabstractionmodel checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Counterexample-guided abstraction refinement for symbolic model checking
• scientific article; zbMATH DE number 910719
• Model checking: from hardware to software.
• Counterexample-guided abstraction refinement

Cited in

(5)

• Generating BDDs for symbolic model checking in CCS
• Bonsai: cutting models down to size
• scientific article; zbMATH DE number 2102696 (Why is no real title available?)
• scientific article; zbMATH DE number 834569 (Why is no real title available?)
• Data structures for symbolic multi-valued model-checking

This page was built for publication: Abstract BDDs: A technique for using abstraction in model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494391)