en fr Combination Methods for Verification Problems Combinaison de Méthodes de Vérification Reportar como inadecuado




en fr Combination Methods for Verification Problems Combinaison de Méthodes de Vérification - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 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 : The thesis applies combination techniques for constraint satisfiability to infinite-state model checking problem.

Résumé : La thèse étudie des problèmes de vérification de modèles infini, en appliquant des techniques de combinaisons de solveurs de contraintes.

Mots-clés : vérification combinaison Nelson-Oppen





Autor: Daniele Zucchelli -

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



DESCARGAR PDF




Documentos relacionados