Combining Abstraction and Reachability Analysis: A Case Study of the RLC Protocol

Thumbnail Image

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

Authors

Date

2003

Department

Tietotekniikan osasto

Major/Subject

Tietojenkäsittelyteoria

Mcode

T-79

Degree programme

Language

en

Pages

61

Series

Description

Supervisor

Husberg, Nisse

Thesis advisor

Husberg, Nisse

Keywords

Petri Nets, Petri verkot, Maria, Maria, protocol verification, protokollien verifiointi, reachability analysis, saavutettavuusanalyysi, SDL, abstraktiot, abstraction, mallinnus

Other note

Citation

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-202104155568

Collections

[lic] Teknillinen korkeakoulu / TKK