Model reductions in MDG-based model checking
dc.contributor.advisor | Cerny, Eduard | |
dc.contributor.advisor | Song, Xiaoyu | |
dc.contributor.author | Hou, Jin | |
dc.date.accessioned | 2023-09-29T15:35:23Z | |
dc.date.available | 2023-09-29T15:35:23Z | |
dc.date.issued | 2002 | |
dc.date.submitted | 2001 | |
dc.identifier.uri | http://hdl.handle.net/1866/30810 | |
dc.subject | Vérification formelle de propriétés | |
dc.subject | Graphe de décision avec chemins multiples (MDG) | |
dc.subject | Réduction de modèle | |
dc.subject | Graphe de dépendance | |
dc.subject | Problème de l'explosion d'états | |
dc.title | Model reductions in MDG-based model checking | |
dc.type | Thèse ou mémoire / Thesis or Dissertation | |
etd.degree.discipline | Informatique | fr |
etd.degree.grantor | Université de Montréal | fr |
etd.degree.level | Doctorat / Doctoral | |
etd.degree.name | Ph. D. | |
dcterms.description | Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. | fr |
dcterms.language | eng |
Files in this item
This item appears in the following Collection(s)
This document disseminated on Papyrus is the exclusive property of the copyright holders and is protected by the Copyright Act (R.S.C. 1985, c. C-42). It may be used for fair dealing and non-commercial purposes, for private study or research, criticism and review as provided by law. For any other use, written authorization from the copyright holders is required.