The following pages link to (Q4804919):
Displaying 24 items.
- CVC (Q21445) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Equality detection for linear arithmetic constraints (Q621462) (← links)
- Translation and run-time validation of loop transformations (Q812060) (← links)
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) (Q861691) (← links)
- The SAT-based approach to separation logic (Q862390) (← links)
- An approach for extracting a small unsatisfiable core (Q1028724) (← links)
- A framework for satisfiability modulo theories (Q1037239) (← links)
- A decision procedure for (co)datatypes in SMT solvers (Q2360873) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- Preface to the special issue ``SI: satisfiability modulo theories'' (Q2441769) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- Embedded software verification using symbolic execution and uninterpreted functions (Q2506297) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- Validated proof-producing decision procedures (Q2848058) (← links)
- Rewrite-based decision procedures (Q2864358) (← links)
- Imperative LF meta-programming (Q2871844) (← links)
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770) (← links)
- Combining Equational Reasoning (Q3655192) (← links)
- Combining Non-Stably Infinite Theories (Q4916220) (← links)
- Computer Aided Verification (Q5312932) (← links)
- Computer Aided Verification (Q5312942) (← links)
