Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
2000
Department
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
en
Pages
vi + 45 s. + liitt. 4
Series
Description
Supervisor
Husberg, NisseThesis advisor
Heljanko, KeijoKeywords
computer aided verification, datastödd verifiering, Petri nets, modellverifiering, model checking, Petrinät, fairness, linjär temporallogik, Streett automata, rättvisa, counterexamples, Streett-automater, motexempel