PROD 3.4.00 -saavutettavuusanalyysiohjelmisto

Lasse Anderson, Johannes Helander, Keijo Heljanko, Tomi Janhunen, Robert Jürgens, Ismo Kangas, Kari Nurmela, Kenneth Oksanen, Olavi Pesonen, Marko Rauhamaa, James Reilly, Heikki Suonsivu, Kimmo Valkealahti, Kimmo Varpaaniemi, Pauli Väisänen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2004
    MoE publication typeI2 ICT software

    Keywords

    • computation tree logic
    • linear time temporal logic
    • on-the-fly verification
    • predicate/transition nets
    • priorities
    • reachability analysis
    • stubborn set method

    Cite this

    Anderson, L. (Author), Helander, J. (Author), Heljanko, K. (Author), Janhunen, T. (Author), Jürgens, R. (Author), Kangas, I. (Author), Nurmela, K. (Author), Oksanen, K. (Author), Pesonen, O. (Author), Rauhamaa, M. (Author), Reilly, J. (Author), Suonsivu, H. (Author), Valkealahti, K. (Author), Varpaaniemi, K. (Author), & Väisänen, P. (Author). (2004). PROD 3.4.00 -saavutettavuusanalyysiohjelmisto. Software