Efficient Model Checking of PSL Safety Properties

Reference:

Tuomas Launiainen, Keijo Heljanko, and Tommi Junttila. Efficient model checking of PSL safety properties. In Tenth International Conference on Application of Concurrency to System Design (ACSD'2010), pages 95–104. IEE Computer Society, 2010.

Suggested BibTeX entry:

@inproceedings{LauniainenHeljankoJunttila:ACSD2010,
    author = {Tuomas Launiainen and Keijo Heljanko and Tommi Junttila},
    booktitle = {Tenth International Conference on Application of Concurrency to System Design (ACSD'2010)},
    pages = {95--104},
    publisher = {IEE Computer Society},
    title = {Efficient Model Checking of {PSL} Safety Properties},
    year = {2010},
}