Efficient Model Checking of PSL Safety Properties


Tuomas Launiainen, Keijo Heljanko, and Tommi Junttila. Efficient model checking of PSL safety properties. IET Computers & Digital Techniques, 5(6):479–492, November 2011.


model checking, PSL, open source model, NuSMV 2, safety properties, industrial property specification language, bug hunting tool

Suggested BibTeX entry:

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

See dx.doi.org ...