A New Unfolding Approach to LTL Model Checking

J. Esparza; K. Heljanko

A New Unfolding Approach to LTL Model Checking

Forskningsoutput: Bok/rapport › Beställd rapport

Originalspråk	engelska

Status	Publicerad - 2000
Externt publicerad	Ja
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Vetenskapsgrenar

LTL
model checking
net unfoldings
Petri nets
tableau systems

Citera det här

@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 -