On Model Checking Safety Properties
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
2002
Department
Major/Subject
Tietojenkäsittelyteoria
Mcode
T-79
Degree programme
Language
en
Pages
64
Series
Description
Supervisor
Husberg, NisseKeywords
computer aided verification, datorstödd verifiering, model checking, modellverifiering, LTL, säkerhetsegenskaper, safety properties, abstraktion, abstraction, färgade Petrinät, Coloured Petri nets