Implementing LTL Model Checking with Net Unfoldings (2001)
AUTHORS:
Esparza Javier,
Heljanko Keijo
URL:
http://www.tcs.hut.fi/Publications/reports/A68abstract.html
@techreport{ HUT-TCS-A68, author = "Esparza, Javier and Heljanko, Keijo", title = "Implementing {LTL} Model Checking with Net Unfoldings", url = "http://www.tcs.hut.fi/Publications/reports/A68abstract.html", pages = "29", address = "Espoo, Finland", number = "68", abstract = "We report on an implementation of the unfolding approach to model-checking LTL-X recently presented by the authors. Contrary to that work, we consider an state-based version of LTL-X, which is more used in practice. We improve on the checking algorithm; the new version allows to reuse code much more efficiently. We present results on a set of case studies.", month = "March", juforank = "NA", flags = "copy SA-LO-00-02 SA-IN-98-01", year = "2001", keywords = "net unfoldings, model checking, tableau systems, LTL, Petri nets", type = "Series A: Research Report", institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science" }