The following pages link to Computer Aided Verification (Q5312923):
Displaying 11 items.
- Zapato (Q37164) (← links)
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- Distributing the Workload in a Lazy Theorem-Prover (Q2870323) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Linear Arithmetic with Stars (Q3512499) (← links)
- Interpolant Generation for UTVPI (Q5191101) (← links)
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints (Q5452703) (← links)
