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.
Domaines
Informatique [cs]
Loading...