Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking: MODSAFE 2010 work report

Jussi Lahtinen, Kim Björkman, Janne Valkonen, Juho Frits, Ilkka Niemelä

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo, Finland
    Number of pages35
    ISBN (Electronic)978-951-38-7497-1
    Publication statusPublished - 2010
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameVTT Working Papers
    PublisherVTT Technical Research Centre of Finland
    ISSN (Electronic)1459-7683


    • automation system
    • diesel
    • emergency
    • I&C
    • Model checking
    • NuSMV
    • SAFIR
    • system safety
    • Uppaal

    Cite this