scientific article; zbMATH DE number 1903374
From MaRDI portal
Publication:4804919
zbMath1010.68720MaRDI QIDQ4804919
Clark Barrett, Aaron Stump, David L. Dill
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040500.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (20)
Optimization modulo non-linear arithmetic via incremental linearization ⋮ Strategies for combining decision procedures ⋮ Combining nonstably infinite theories ⋮ Generalizing DPLL and satisfiability for equalities ⋮ Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) ⋮ The SAT-based approach to separation logic ⋮ Equality detection for linear arithmetic constraints ⋮ Automated verification of shape, size and bag properties via user-defined predicates in separation logic ⋮ Preface to the special issue ``SI: satisfiability modulo theories ⋮ Combining Non-Stably Infinite Theories ⋮ Building small equality graphs for deciding equality logic with uninterpreted functions ⋮ Embedded software verification using symbolic execution and uninterpreted functions ⋮ Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints ⋮ CVC ⋮ An approach for extracting a small unsatisfiable core ⋮ A framework for satisfiability modulo theories ⋮ Combining Equational Reasoning ⋮ Rewrite-Based Decision Procedures ⋮ Imperative LF Meta-Programming ⋮ Translation and run-time validation of loop transformations
Uses Software
This page was built for publication:
