Combination Methods for Verification Problems - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2008

Combination Methods for Verification Problems

Combinaison de Méthodes de Vérification

Résumé

The thesis applies combination techniques for constraint satisfiability to infinite-state model checking problem.
La thèse étudie des problèmes de vérification de modèles infini, en appliquant des techniques de combinaisons de solveurs de contraintes.
Fichier principal
Vignette du fichier
Zuc-PhD-07.pdf (1.54 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00329849 , version 1 (13-10-2008)

Identifiants

  • HAL Id : tel-00329849 , version 1

Citer

Daniele Zucchelli. Combination Methods for Verification Problems. Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English. ⟨NNT : ⟩. ⟨tel-00329849⟩
134 Consultations
286 Téléchargements

Partager

Gmail Facebook X LinkedIn More