La vérification formelle de systèmes réactifs probabilistes finis
Le champ de notre projet de recherche est la vérification des systèmes probabilistes interactifs. Étant donnée une formule de la logique PCTL, qui décrit les spécifications d’un système probabiliste, et un modèle, nous nous intéressons à vérifier si celui-ci satisfait la formule donnée. Ceci est fai...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | FR |
| Published: |
Université Laval
2005
|
| Subjects: | |
| Online Access: | http://www.theses.ulaval.ca/2005/22641/22641.pdf |