ICS
From MaRDI portal
Software:33420
No author found.
Related Items (18)
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 ⋮ Efficient theory combination via Boolean search ⋮ Preface to the special issue ``SI: satisfiability modulo theories ⋮ Automated Deduction – CADE-20 ⋮ Decision procedures. An algorithmic point of view ⋮ Unnamed Item ⋮ Analyzing Automata with Presburger 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 ⋮ A framework for satisfiability modulo theories ⋮ Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis ⋮ Translation and run-time validation of loop transformations
This page was built for software: ICS
