Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308387zbMATH OpenOpenAlexFDO

Authors Kavita Ravi, Fabio Somenzi

Publication date 28 September 2007

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

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

Mathematics Subject Classification ID

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

Recommendations

• Making the most of BMC counterexamples
• Accelerating bounded model checking of safety properties
• Theory and Applications of Models of Computation
• A fast counterexample minimization algorithm with refutation analysis and incremental SAT
• Verification, Model Checking, and Abstract Interpretation

Cited in

(23)

• Minimal sets on propositional formulae. Problems and reductions
• Making the most of BMC counterexamples
• Algorithms for Solving Satisfiability Problems with Qualitative Preferences
• Enumerating prime implicants of propositional formulae in conjunctive normal form
• Propositional SAT solving
• Improvements to Hybrid Incremental SAT Algorithms
• Finding and fixing faults
• scientific article; zbMATH DE number 1884382 (Why is no real title available?)
• Enhancing unsatisfiable cores for LTL with information on temporal relevance
• Implementing efficient All solutions SAT solvers
• Model Checking Software
• Minimizing models for Tseitin-encoded SAT instances
• A fast counterexample minimization algorithm with refutation analysis and incremental SAT
• Verification, Model Checking, and Abstract Interpretation
• Solving satisfiability problems with preferences
• Responsibility analysis by abstract interpretation
• On enumerating short projected models
• Exploiting partial-assignment enumeration in optimization modulo theories
• ESLIM: Circuit minimization with SAT based local improvement
• Entailing generalization boosts enumeration
• On CNF conversion for SAT and SMT enumeration
• The complexity of variable minimal formulas
• Program repair without regret

Describes a project that uses

Uses Software

• SATO
• Chaff
• BerkMin

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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