Computer Aided Verification

DOI10.1007/B98490MaRDI 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

• Theory and Applications of Satisfiability Testing
• A BDD SAT solver for satisfiability testing: An industrial case study
• SAT-Based Model Checking
• scientific article; zbMATH DE number 1903357
• scientific article; zbMATH DE number 2087634

Cited in

(4)

• 3-Valued Circuit SAT for STE with Automatic Refinement
• CirCUs
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• Theory and Applications of Satisfiability Testing

Describes a project that uses

Uses Software

• SATO
• SATIRE
• Chaff
• BerkMin

This page was built for publication: Computer Aided Verification

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