Reference:
Tuomas Launiainen, Keijo Heljanko, and Tommi Junttila. Efficient model checking of PSL safety properties. IET Computers & Digital Techniques, 5(6):479–492, November 2011.
Keywords:
model checking, PSL, open source model, NuSMV 2, safety properties, industrial property specification language, bug hunting tool
Suggested BibTeX entry:
@article{LauHelJun:IET-CDT11,
author = {Tuomas Launiainen and Keijo Heljanko and Tommi Junttila},
journal = {IET Computers \& Digital Techniques},
month = {November},
number = {6},
pages = {479--492},
title = {Efficient Model Checking of {PSL} Safety Properties},
volume = {5},
year = {2011},
}
|