On Structural Information and the Experimental Evaluation of SMT ToolsReport as inadecuate




On Structural Information and the Experimental Evaluation of SMT Tools - Download this document for free, or read online. Document in PDF available to download.

1 TRIO - Real time and interoperability INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications 2 CASSIS - Combination of approaches to the security of infinite states systems FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Abstract : We are interested in studying the impact of various pre-processing transformations of ground formulae on the performances of Satisfiability Modulo Theory tools based on the integration between an enumerator of truth assignments and a satisfiability procedure for conjunction of literals in some theory which are supposed to discharge them. We briefly discuss our preliminary experiences.





Author: Najet Boughanmi - Silvio Ranise - Christophe Ringeissen -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents