Certifying phase abstraction
From MaRDI portal
Cites work
- An abstraction algorithm for the verification of level-sensitive latch-based netlists
- Certifying proofs for SAT-based model checking
- Correct Hardware Design and Verification Methods
- Definability for model counting
- Efficient verified (UN)SAT certificate checking
- Efficient, verified checking of propositional proofs
- Equality reasoning in sequent-based calculi
- Flexible proof production in an industrial-strength SMT solver
- Handbook of model checking
- Handbook of satisfiability. In 2 parts
- Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings
- scientific article; zbMATH DE number 1798181 (Why is no real title available?)
- scientific article; zbMATH DE number 2102696 (Why is no real title available?)
- scientific article; zbMATH DE number 7178357 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Interpolation-based semantic gate extraction and its applications to QBF preprocessing
- Isabelle/HOL. A proof assistant for higher-order logic
- Model checking
- Programming a symbolic model checker in a fully expansive theorem prover
- Progress in certifying hardware model checking results
- SAT competition 2020
- SAT-Based Model Checking without Unrolling
- Theory and Applications of Satisfiability Testing
Cited in
(2)
This page was built for publication: Certifying phase abstraction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034860)
