punroll 0.3: a bounded reachability checker

Keijo Heljanko

punroll 0.3: a bounded reachability checker

Keijo Heljanko

Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

Alkuperäiskieli	Englanti
Tila	Julkaistu - 2001
OKM-julkaisutyyppi	I2 ICT-ohjelmistot

Tutkimusalat

bounded model checking
Petri nets
process semantics
reachability

Pääsy asiakirjaan

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

Siteeraa tätä

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