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 es...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | French French |
| Published: |
Université Laval
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/18037 http://hdl.handle.net/20.500.11794/18037 |