Global Symbolic Model Checking based on Generalised Intervals
Contributeurs/tricesMorard, Damien![orcid](assets/images/orcid.png)
![orcid](assets/images/orcid.png)
Directeurs/tricesBuchs, Didier
Nombre de pages181
Date d'imprimatur2024-04-29
Date de soutenance2024
Résumé
Mots-clés
- Global model checking
- Symbolic model checking
- CTL
- Intervals of vectors
- Generalised intervals
- Canonicity
- Petri nets
- Saturation
- Model checking contest
- Symbolic vectors
- Symbolic vector sets
Structure d'affiliation
Groupe de recherche
Citation (format ISO)
MORARD, Damien. Global Symbolic Model Checking based on Generalised Intervals. 2024. doi: 10.13097/archive-ouverte/unige:177272
Fichiers principaux (1)
Thesis
![accessLevelPublic](assets/images/access-level-free.png)
Fichiers secondaires (1)
Identifiants
- PID : unige:177272
- DOI : 10.13097/archive-ouverte/unige:177272
- URN : urn:nbn:ch:unige-1772721
- N° de thèse : Sc. 5815
Jeu de données