punroll 0.3: a bounded reachability checker

Keijo Heljanko

punroll 0.3: a bounded reachability checker

Keijo Heljanko

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2001
MoE publication type	I2 ICT software

Keywords

bounded model checking
Petri nets
process semantics
reachability

Access to Document

http://www.tcs.hut.fi/%7ekepa/tools/punroll/

Cite this

@misc{6ac614da526245f697348f9ceede57af,

title = "punroll 0.3: a bounded reachability checker",

keywords = "bounded model checking, Petri nets, process semantics, reachability, bounded model checking, Petri nets, process semantics, reachability, bounded model checking, Petri nets, process semantics, reachability",

author = "Keijo Heljanko",

year = "2001",

language = "English",

}

TY - ADVS

T1 - punroll 0.3: a bounded reachability checker

AU - Heljanko, Keijo

PY - 2001

Y1 - 2001

KW - bounded model checking

KW - Petri nets

KW - process semantics

KW - reachability

KW - bounded model checking

KW - Petri nets

KW - process semantics

KW - reachability

KW - bounded model checking

KW - Petri nets

KW - process semantics

KW - reachability

UR - http://www.tcs.hut.fi/%7ekepa/tools/punroll/

M3 - Software

ER -