Analyse de l'erreur en vérification probabiliste
La vérification de systèmes est aujourd’hui un sujet de recherche récurrent et différentes techniques permettent de vérifier formellement des systèmes critiques dont il faut impérativement garantir la correction. Nous consacrons ce mémoire à l’une des techniques les plus utilisées et les plus effica...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | French |
| Published: |
Université Laval
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/25013 |