Cited in
(62)- scientific article; zbMATH DE number 1903356 (Why is no real title available?)
- Optimization modulo non-linear arithmetic via incremental linearization
- Computer Aided Verification
- Preface to the special issue ``SI: satisfiability modulo theories
- Generalizing DPLL and satisfiability for equalities
- Term Rewriting and Applications
- Computer Aided Verification
- Formal Approaches to Software Testing
- Correct Hardware Design and Verification Methods
- Mining propositional simplification proofs for small validating clauses
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- New results on rewrite-based satisfiability procedures
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
- The SAT-based approach to separation logic
- Strategies for combining decision procedures
- Combining nonstably infinite theories
- A framework for satisfiability modulo theories
- Combining non-stably infinite theories
- kcnfs
- BarcelogicTools
- ARGO-LIB
- TVOC
- UCLID
- Zap
- ComFoRT
- CVC Lite
- MathSAT
- CVT
- MOPS
- MUP
- RSat
- EVC
- MicroRogue
- ICS
- TSAT++
- EVES
- Building small equality graphs for deciding equality logic with uninterpreted functions
- Equality detection for linear arithmetic constraints
- An approach for extracting a small unsatisfiable core
- Model Checking Software
- Embedded software verification using symbolic execution and uninterpreted functions
- A Decision Procedure for Bit-Vectors and Arrays
- Model Checking Software
- Automated Deduction – CADE-19
- Producing proofs from an arithmetic decision procedure in elliptical LF
- scientific article; zbMATH DE number 1982209 (Why is no real title available?)
- \textsf{TSAT++}: an open platform for satisfiability modulo theories
- Computer Aided Verification
- Automated Technology for Verification and Analysis
- Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli
- scientific article; zbMATH DE number 1956605 (Why is no real title available?)
- Rewrite-based decision procedures
- Logics in Artificial Intelligence
- Frontiers of Combining Systems
- Enhancing Program Verification with Lemmas
- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
- Translation and run-time validation of loop transformations
- scientific article; zbMATH DE number 7178358 (Why is no real title available?)
- Combining equational reasoning
- Imperative LF meta-programming
- Computer Science Logic
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
This page was built for software: CVC
