On Structural Information and the Experimental Evaluation of SMT ToolsReportar como inadecuado




On Structural Information and the Experimental Evaluation of SMT Tools - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





Autor: Najet Boughanmi - Silvio Ranise - Christophe Ringeissen -

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



DESCARGAR PDF




Documentos relacionados