The following pages link to CVC (Q21445):
Displayed 44 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)
- 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)
- 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)
- (Q2844808) (← links)
- (Q2848055) (← links)
- (Q2848691) (← links)
- Rewrite-Based Decision Procedures (Q2864358) (← links)
- Imperative LF Meta-Programming (Q2871844) (← links)
- Enhancing Program Verification with Lemmas (Q3512504) (← links)
- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs (Q3591386) (← links)
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770) (← links)
- Combining Equational Reasoning (Q3655192) (← links)
- (Q4417953) (← links)
- (Q4426386) (← links)
- (Q4804899) (← links)
- Combining Non-Stably Infinite Theories (Q4916220) (← links)
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework (Q4930715) (← links)
- (Q5219923) (← links)
- New results on rewrite-based satisfiability procedures (Q5277822) (← 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)
- Computer Science Logic (Q5394581) (← links)
- A Decision Procedure for Bit-Vectors and Arrays (Q5429343) (← links)
- Frontiers of Combining Systems (Q5491893) (← links)
- Correct Hardware Design and Verification Methods (Q5493237) (← links)
- Term Rewriting and Applications (Q5703870) (← links)
- Formal Approaches to Software Testing (Q5710645) (← links)
- Computer Aided Verification (Q5716570) (← links)
- Model Checking Software (Q5899041) (← links)
- Model Checking Software (Q5899045) (← links)
- Automated Deduction – CADE-19 (Q5900716) (← links)