Model Checking Methodology for Verification of Safety Logics

Reference:

Janne Valkonen, Kim Björkman, Juho Frits, and Ilkka Niemelä. Model checking methodology for verification of safety logics. In Proceedings of the 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010, Tampere, Finland, June 2010.

Suggested BibTeX entry:

@inproceedings{Valkonen.etal:SIAS2010,
    address = {Tampere, Finland},
    author = {Janne Valkonen and Kim Bj{\"o}rkman and Juho Frits and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010},
    month = {June},
    title = {Model Checking Methodology for Verification of Safety Logics},
    year = {2010},
}