Combining Abstraction and Reachability Analysis: A Case Study of the RLC Protocol
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
2003
Department
Major/Subject
Tietojenkäsittelyteoria
Mcode
T-79
Degree programme
Language
en
Pages
61
Series
Description
Supervisor
Husberg, NisseThesis advisor
Husberg, NisseKeywords
Petri Nets, Petri verkot, Maria, Maria, protocol verification, protokollien verifiointi, reachability analysis, saavutettavuusanalyysi, SDL, abstraktiot, abstraction, mallinnus