Analyse de systèmes modulaires à l'aide de techniques d'abstractions hiérarchiques
Dans cette thèse, on s’intéresse au problème de l’explosion combinatoire du model-checking sur des systèmes modulaires. Les techniques d’abstractions hiérarchiques permettent de construire de manière incrémentale une abstraction d’un modèle en composant des abstractions de ses parties. Cette opérati...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016SACLE019/document |