The following pages link to CVC (Q21445):
Displaying 13 items.
- 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)
- 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)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- Computer Aided Verification (Q5312896) (← links)
- Computer Aided Verification (Q5312942) (← links)
- Logics in Artificial Intelligence (Q5394160) (← links)
- Automated Technology for Verification and Analysis (Q5394193) (← links)
