Efficient Model Checking of PSL Safety Properties

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},
}