Model Checking Methodology for Supporting Safety Critical Software Development and Verification

Jussi Lahtinen; Janne Valkonen; Kim Björkman; Juho Frits; Ilkka Niemelä

Model Checking Methodology for Supporting Safety Critical Software Development and Verification

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

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

2 Citations (Scopus)

Original language	English
Title of host publication	Reliability, Risk and Safety: Back to the Future
Subtitle of host publication	European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010
Editors	Ben J.M. Ale, Ioannis A. Papazoglou, Enrico Zio
Publisher	CRC Press
Pages	2056-2063
ISBN (Print)	978-041560427-7
Publication status	Published - 2010
MoE publication type	B3 Non-refereed conference publication

Cite this

Lahtinen, J., Valkonen, J., Björkman, K., Frits, J., & Niemelä, I. (2010). Model Checking Methodology for Supporting Safety Critical Software Development and Verification. In B. J. M. Ale, I. A. Papazoglou, & E. Zio (Eds.), Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 (pp. 2056-2063). CRC Press.

Lahtinen, Jussi ; Valkonen, Janne ; Björkman, Kim et al. / Model Checking Methodology for Supporting Safety Critical Software Development and Verification. Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . editor / Ben J.M. Ale ; Ioannis A. Papazoglou ; Enrico Zio. CRC Press, 2010. pp. 2056-2063

@inproceedings{071595db856f4672b1c13f5934338a50,

title = "Model Checking Methodology for Supporting Safety Critical Software Development and Verification",

author = "Jussi Lahtinen and Janne Valkonen and Kim Bj{\"o}rkman and Juho Frits and Ilkka Niemel{\"a}",

note = "VK: modsafe",

year = "2010",

language = "English",

isbn = "978-041560427-7",

pages = "2056--2063",

editor = "Ale, \{Ben J.M.\} and Papazoglou, \{Ioannis A.\} and Enrico Zio",

booktitle = "Reliability, Risk and Safety: Back to the Future",

publisher = "CRC Press",

address = "United States",

}

Lahtinen, J, Valkonen, J, Björkman, K, Frits, J & Niemelä, I 2010, Model Checking Methodology for Supporting Safety Critical Software Development and Verification. in BJM Ale, IA Papazoglou & E Zio (eds), Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . CRC Press, pp. 2056-2063.

Model Checking Methodology for Supporting Safety Critical Software Development and Verification. / Lahtinen, Jussi; Valkonen, Janne; Björkman, Kim et al.
Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . ed. / Ben J.M. Ale; Ioannis A. Papazoglou; Enrico Zio. CRC Press, 2010. p. 2056-2063.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

TY - GEN

T1 - Model Checking Methodology for Supporting Safety Critical Software Development and Verification

AU - Lahtinen, Jussi

AU - Valkonen, Janne

AU - Björkman, Kim

AU - Frits, Juho

AU - Niemelä, Ilkka

N1 - VK: modsafe

PY - 2010

Y1 - 2010

M3 - Conference article in proceedings

SN - 978-041560427-7

SP - 2056

EP - 2063

BT - Reliability, Risk and Safety: Back to the Future

A2 - Ale, Ben J.M.

A2 - Papazoglou, Ioannis A.

A2 - Zio, Enrico

PB - CRC Press

ER -

Lahtinen J, Valkonen J, Björkman K, Frits J, Niemelä I. Model Checking Methodology for Supporting Safety Critical Software Development and Verification. In Ale BJM, Papazoglou IA, Zio E, editors, Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . CRC Press. 2010. p. 2056-2063