EUF - Proofs for SMT 4 J M ASTER ' S T HESIS submitted in partial fulfillment of the requirements for the academic degree

Abstract

SMT (Satisfiability Modulo Theories) Solvers are considered as a new, promising generation of decision engines in numerous software and hardware verification tools due to their support of various decision procedures for theories beyond propositional logic. One general theory that is supported by most SMT Solvers is specialized in equalities over… (More)

Topics

13 Figures and Tables

Cite this paper

@inproceedings{Fazekas2015EUFP, title={EUF - Proofs for SMT 4 J M ASTER ' S T HESIS submitted in partial fulfillment of the requirements for the academic degree}, author={Katalin Fazekas and Armin Biere and Martina Seidl}, year={2015} }