Efficient Model Checking of PSL Safety Properties (2011)
AUTHORS:
Launiainen Tuomas,
Heljanko Keijo
,
Junttila Tommi
JOURNAL:
IET Computers & Digital Techniques
VOLUME:
5
PAGES:
479--492
URL:
http://dx.doi.org/10.1049/iet-cdt.2010.0154
@article{ LauHelJun:IET-CDT11, author = "Launiainen, Tuomas and Heljanko, Keijo and Junttila, Tommi", note = "", responsibleauthor = "Launiainen, Tuomas and Heljanko, Keijo and Junttila, Tommi", title = "Efficient Model Checking of {PSL} Safety Properties", ee = "http://dx.doi.org/10.1049/iet-cdt.2010.0154", journal = "IET Computers \& Digital Techniques", corerank = "B", number = "6", month = "November", volume = "5", url = "http://dx.doi.org/10.1049/iet-cdt.2010.0154", flags = "DC StMcDes HIIT", year = "2011", keywords = "model checking, PSL, open source model, NuSMV 2, safety properties, industrial property specification language, bug hunting tool", unitcode = "T306=99, T312=1", impactfactor = "A1", pages = "479--492" }