The following pages link to Computer Aided Verification (Q5312942):
Displaying 11 items.
- Equality detection for linear arithmetic constraints (Q621462) (← links)
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) (Q861691) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- The SAT-based approach to separation logic (Q862390) (← links)
- Applying SAT solving in classification of finite algebras (Q862393) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Automatic construction and verification of isotopy invariants (Q928664) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- The RISC ProofNavigator: a proving assistant for program verification in the classroom (Q1019024) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
