CirCUs: A satisfiability solver geared towards bounded model checking

DOI10.1007/978-3-540-27813-9_50MaRDI QIDQ5312944zbMATH OpenOpenAlexFDO

Authors Hoonsang Jin, Mohammad Awedh, Fabio Somenzi

Publication date 25 August 2005

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

Full work available at URL https://doi.org/10.1007/b98490

Mathematics Subject Classification ID

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

Recommendations

• CirCUs: A hybrid satisfiability solver
• A BDD SAT solver for satisfiability testing: An industrial case study
• SAT-Based Model Checking
• Applying SAT methods in unbounded symbolic model checking
• Industrial model checking based on satisfiability solvers

Cited in

(4)

• CirCUs
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• 3-Valued Circuit SAT for STE with Automatic Refinement
• CirCUs: A hybrid satisfiability solver

Describes a project that uses

Uses Software

• SATO
• SATIRE
• Chaff
• BerkMin

This page was built for publication: CirCUs: A satisfiability solver geared towards bounded model checking

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