Model checking methodology for verification of safety logics

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    Original languageEnglish
    Title of host publicationThe 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010, Tampere 14.-15.6.2010
    Publication statusPublished - 2010
    MoE publication typeB3 Non-refereed article in conference proceedings


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

    Cite this