Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
Ce travail s'inscrit dans le cadre de la vérification formelle de programmes: le model checking est une technique qui permet de s'assurer qu'une propriété, exprimée en logique temporelle, est vérifiée par le modèle d'un système. Cette thèse étudie plusieurs logiques temporelles,...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Thèse et Mémoire papier |
| Langue: | Français |
| Publié: |
[S.l.] :
[s.n.]
2003.
|
| Sujets: | |
| Note: |
Publication autorisée par le jury |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Temporal logics geared to verification :, expressivesness, complexity, algorithms |