scientific article; zbMATH DE number 1979549
From MaRDI portal
Publication:4427902
zbMath1019.68592MaRDI QIDQ4427902
Publication date: 14 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170160.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (9)
Satisfiability Modulo Theories ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Synthesising programs with non-trivial constants ⋮ Efficient theory combination via Boolean search ⋮ Classical Logic, Classical Probability, and Quantum Mechanics ⋮ Zero, successor and equality in BDDs ⋮ Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ A framework for satisfiability modulo theories
Uses Software
This page was built for publication: