Symbolic model-checking with Set Rewriting
Contributeurs/tricesLopez Bobeda, Edmundo
Directeurs/tricesBuchs, Didier
Date de soutenance2015-05-15
Résumé
Mots-clés
- Symboilc model checking
- Model checking
- Software verification
- Decision diagrams
- Semantics
Structure d'affiliation
Groupe de recherche
Financement
- Swiss National Science Foundation - Brinta
Citation (format ISO)
LOPEZ BOBEDA, Edmundo. Symbolic model-checking with Set Rewriting. 2015. doi: 10.13097/archive-ouverte/unige:72949
Fichiers principaux (1)
Thesis
Identifiants
- PID : unige:72949
- DOI : 10.13097/archive-ouverte/unige:72949
- URN : urn:nbn:ch:unige-729494
- N° de thèse : Sc. 4782