Efficient Model Checking of PSL Safety Properties

Reference:

Tuomas Launiainen, Keijo Heljanko, and Tommi Junttila. Efficient model checking of PSL safety properties. In Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD'2010), pages 95–104, Braga, Portugal, June 2010.

Suggested BibTeX entry:

@inproceedings{LauHelJun:ACSD10,
    address = {Braga, Portugal},
    author = {Tuomas Launiainen and Keijo Heljanko and Tommi Junttila},
    booktitle = {Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD'2010)},
    month = {June},
    pages = {95--104},
    title = {Efficient Model Checking of {PSL} Safety Properties},
    year = {2010},
}