Model checking PSL safety properties

Reference:

Tuomas Launiainen. Model checking PSL safety properties. Technical Report TKK-ICS-R17, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, August 2009.

Suggested BibTeX entry:

@techreport{TKK-ICS-R17,
    address = {Espoo, Finland},
    author = {Tuomas Launiainen},
    institution = {Helsinki University of Technology, Department of Information and Computer Science},
    month = {August},
    number = {TKK-ICS-R17},
    pages = {72},
    title = {Model checking {PSL} safety properties},
    type = {Technical Report},
    year = {2009},
}