scientific article; zbMATH DE number 1798183
From MaRDI portal
Publication:4553256
zbMath0996.68559MaRDI QIDQ4553256
Sam Owre, Harald Ruess, Natarajan Shankar, Jean-Christophe Filliâtre
Publication date: 4 November 2002
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
Strategies for combining decision procedures, Generalizing DPLL and satisfiability for equalities, Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005), An integrated approach to high integrity software verification, M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures, Verifying a signature architecture: a comparative case study, A survey on temporal logics for specifying and verifying real-time systems, Equality detection for linear arithmetic constraints, Efficient theory combination via Boolean search, Preface to the special issue ``SI: satisfiability modulo theories, Unnamed Item, A randomized satisfiability procedure for arithmetic and uninterpreted function symbols, Building small equality graphs for deciding equality logic with uninterpreted functions, Variant-Based Satisfiability in Initial Algebras, Embedded software verification using symbolic execution and uninterpreted functions, ICS, A framework for satisfiability modulo theories, Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis, CC(X): Semantic Combination of Congruence Closure with Solvable Theories, Translation and run-time validation of loop transformations
Uses Software