en fr Combination Methods for Verification Problems Combinaison de Méthodes de Vérification Report as inadecuate




en fr Combination Methods for Verification Problems Combinaison de Méthodes de Vérification - Download this document for free, or read online. Document in PDF available to download.

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





Author: Daniele Zucchelli -

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



DOWNLOAD PDF




Related documents