A New Unfolding Approach to LTL Model Checking

J. Esparza; K. Heljanko

A New Unfolding Approach to LTL Model Checking

Research output: Book/Report › Commissioned report

Original language	English

Publication status	Published - 2000
Externally published	Yes
MoE publication type	D4 Published development or research report or study

Fields of Science

LTL
model checking
net unfoldings
Petri nets
tableau systems

Cite this

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