Model checking PSL safety properties

Tuomas Launiainen

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    ISBN (Electronic)978-952-248-042-2
    Publication statusPublished - 2009
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTKK Reports in Information and Computer Science
    PublisherTKK ICS


    • model checking
    • NuSMV
    • PSL
    • safety properties

    Cite this