CVC
From MaRDI portal
Software:21445
No author found.
Related Items (44)
New results on rewrite-based satisfiability procedures ⋮ Optimization modulo non-linear arithmetic via incremental linearization ⋮ Strategies for combining decision procedures ⋮ Combining nonstably infinite theories ⋮ Generalizing DPLL and satisfiability for equalities ⋮ Unnamed Item ⋮ Logics in Artificial Intelligence ⋮ Unnamed Item ⋮ Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) ⋮ The SAT-based approach to separation logic ⋮ Unnamed Item ⋮ Computer Aided Verification ⋮ Automated Technology for Verification and Analysis ⋮ Formal Approaches to Software Testing ⋮ Computer Science Logic ⋮ Equality detection for linear arithmetic constraints ⋮ Enhancing Program Verification with Lemmas ⋮ Automated verification of shape, size and bag properties via user-defined predicates in separation logic ⋮ Preface to the special issue ``SI: satisfiability modulo theories ⋮ Term Rewriting and Applications ⋮ Frontiers of Combining Systems ⋮ Combining Non-Stably Infinite Theories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Correct Hardware Design and Verification Methods ⋮ Building small equality graphs for deciding equality logic with uninterpreted functions ⋮ Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework ⋮ A Decision Procedure for Bit-Vectors and Arrays ⋮ Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs ⋮ Embedded software verification using symbolic execution and uninterpreted functions ⋮ Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints ⋮ Model Checking Software ⋮ Model Checking Software ⋮ An approach for extracting a small unsatisfiable core ⋮ Automated Deduction – CADE-19 ⋮ A framework for satisfiability modulo theories ⋮ Combining Equational Reasoning ⋮ Computer Aided Verification ⋮ Computer Aided Verification ⋮ Rewrite-Based Decision Procedures ⋮ Imperative LF Meta-Programming ⋮ Translation and run-time validation of loop transformations
This page was built for software: CVC