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,...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicado em: |
[S.l.] :
[s.n.]
2003.
|
| Assuntos: | |
| Nota: |
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
| Localização | Área/Cota | Type de prêt | Estado | |
|---|---|---|---|---|
| Magasin | TS 19-2003-4 b |
A consulter sur place
|
||
| Magasin | TS 19-2003-4 | Disponível |