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 |
Orléans - BU Sciences Technologies STAPS
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Magasin | TS 19-2003-4 b |
A consulter sur place
|
||
| Magasin | TS 19-2003-4 | Disponible |