Publication:4427902
From MaRDI portal
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
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
Related Items
Classical Logic, Classical Probability, and Quantum Mechanics, Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules, M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures, Efficiently checking propositional refutations in HOL theorem provers, A framework for satisfiability modulo theories, Zero, successor and equality in BDDs, Efficient theory combination via Boolean search, Satisfiability Modulo Theories
Uses Software