Symbolic model checking with sentential decision diagrams

DOI10.1007/978-3-030-62822-2_8MaRDI QIDQ2169116zbMATH OpenOpenAlexFDO

Authors Lieuwe Vinkhuijzen, Alfons W. Laarman

Publication date 1 September 2022

Full work available at URL https://doi.org/10.1007/978-3-030-62822-2_8

Mathematics Subject Classification ID

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

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Variable shift SDD: a more succinct sentential decision diagram
• Symbolic model checking
• Combining decision diagrams and SAT procedures for efficient symbolic model checking
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(9)

• Sequence sentential decision diagrams
• Combining decision diagrams and SAT procedures for efficient symbolic model checking
• Hierarchical Set Decision Diagrams and Regular Models
• Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
• Detecting termination of active database rules using symbolic model checking
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• On Diagrams and General Model Checkers
• A decision diagram operation for reachability
• Variable shift SDD: a more succinct sentential decision diagram

This page was built for publication: Symbolic model checking with sentential decision diagrams

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