Model checking with Boolean Satisfiability

DOI10.1016/J.JALGOR.2008.02.007MaRDI QIDQ3527691zbMATH OpenOpenAlexFDO

Authors Joao Marques-Silva

Publication date 29 September 2008

Published in Journal of Algorithms (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/265229/1/jpms-jalgor08-prelim.pdf

zbMATH Keywords

Boolean satisfiabilityinterpolationmodel checkingresolution refutation

Mathematics Subject Classification ID

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

Recommendations

• Correct Hardware Design and Verification Methods
• Bounded model checking using satisfiability solving
• Propositional SAT solving
• SAT-Based Model Checking
• scientific article; zbMATH DE number 2087634

Cited in

(10)

• \(\boldsymbol{borealis}\) -- a generalized global update algorithm for Boolean optimization problems
• A Boolean satisfiability approach to the resource-constrained project scheduling problem
• Understanding IC3
• SAT-Based Model Checking
• Boolean satisfiability and EDA applications
• scientific article; zbMATH DE number 2087634 (Why is no real title available?)
• scientific article; zbMATH DE number 1903357 (Why is no real title available?)
• Correct Hardware Design and Verification Methods
• Hardware and Software, Verification and Testing
• Bounded model checking using satisfiability solving

This page was built for publication: Model checking with Boolean Satisfiability

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