Verification of Safety Logic Designs by Model Checking

Reference:

Kim Björkman, Juho Frits, Janne Valkonen, Jussi Lahtinen, Keijo Heljanko, Ilkka Niemelä, and Jari J. Hämäläinen. Verification of safety logic designs by model checking. In Proceedings of the Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009, Knoxville, Tennessee, April 2009.

Suggested BibTeX entry:

@inproceedings{Bjorkman.etal:NPICHMIT2009,
    address = {Knoxville, Tennessee},
    author = {Kim Bj{\"o}rkman and Juho Frits and Janne Valkonen and Jussi Lahtinen and Keijo Heljanko and Ilkka Niemel{\"a} and Jari J. H{\"a}m{\"a}l{\"a}inen},
    booktitle = {Proceedings of the Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC\&HMIT 2009},
    month = {April},
    title = {Verification of Safety Logic Designs by Model Checking},
    year = {2009},
}