Model Checking Methodology for Supporting Safety Critical Software Development and Verification

Reference:

Jussi Lahtinen, Janne Valkonen, Kim Björkman, Juho Frits, and Ilkka Niemelä. Model checking methodology for supporting safety critical software development and verification. In Ben J.M. Ale, Ioannis A. Papazoglou, and Enrico Zio, editors, Reliability, Risk and Safety—Back to the Future, pages 2056–2063. CRC Press, 2010.

Suggested BibTeX entry:

@inproceedings{Lahtinen:ESREL2010,
    author = {Jussi Lahtinen and Janne Valkonen and Kim Bj\"orkman and Juho Frits and Ilkka Niemel{\"a}},
    booktitle = {Reliability, Risk and Safety---Back to the Future},
    editor = {Ben J.M. Ale and Ioannis A. Papazoglou and Enrico Zio},
    pages = {2056--2063},
    publisher = {CRC Press},
    title = {Model Checking Methodology for Supporting Safety Critical Software Development and Verification},
    year = {2010},
}