A New Unfolding Approach to LTL Model Checking

J. Esparza; K. Heljanko

A New Unfolding Approach to LTL Model Checking

Tutkimustuotos: Kirja/raportti › Tutkimusraportti

Alkuperäiskieli	englanti

Tila	Julkaistu - 2000
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Tieteenalat

LTL
model checking
net unfoldings
Petri nets
tableau systems

Siteeraa tätä

@book{d28016aa0c814992bf044a56c3f984eb,

title = "A New Unfolding Approach to LTL Model Checking",

keywords = "LTL, model checking, net unfoldings, Petri nets, tableau systems, LTL, model checking, net unfoldings, Petri nets, tableau systems, LTL, model checking, net unfoldings, Petri nets, tableau systems",

author = "J. Esparza and K. Heljanko",

year = "2000",

language = "English",

}

TY - BOOK

T1 - A New Unfolding Approach to LTL Model Checking

AU - Esparza, J.

AU - Heljanko, K.

PY - 2000

Y1 - 2000

KW - LTL

KW - model checking

KW - net unfoldings

KW - Petri nets

KW - tableau systems

KW - LTL

KW - model checking

KW - net unfoldings

KW - Petri nets

KW - tableau systems

KW - LTL

KW - model checking

KW - net unfoldings

KW - Petri nets

KW - tableau systems

M3 - Commissioned report

BT - A New Unfolding Approach to LTL Model Checking

ER -