Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints

Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

Helsinki University of Technology | Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author

Authors

Date

2000

Department

Sähkö- ja tietoliikennetekniikan osasto

Major/Subject

Digitaalitekniikka

Mcode

Tik-79

Degree programme

Language

en

Pages

vi + 45 s. + liitt. 4

Series

Description

Supervisor

Husberg, Nisse

Thesis advisor

Heljanko, Keijo

Keywords

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

Other note

Citation

Permanent link to this item

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

Collections

[dipl] Teknillinen korkeakoulu / TKK