Verification of Safety Logic Designs by Model Checking

Kim Björkman, Juho Frits, Janne Valkonen, Jussi Lahtinen, Keijo Heljanko, Ilkka Niemelä, Jari J. Hämäläinen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publication6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009
    Place of PublicationKnoxville
    Pages324-335
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication

    Keywords

    • automation
    • digital I&C
    • model checking
    • safety logic
    • verification

    Cite this