Verification of safety-critical systems: a case study report on using modern model checking tools

Antti Jääskeläinen; Mika Katara; Shmuel Katz; Heikki Virtanen

Verification of safety-critical systems: a case study report on using modern model checking tools

Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Translated title of the contribution	Verification of safety-critical systems: a case study report on using modern model checking tools
Original language	English
Title of host publication	Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011
Editors	Jörg Braner, Marco Roveri, Hendrik Tews
Place of Publication	Dresden, Germany
Publisher	TU Dresden
Pages	66-80
Publication status	Published - 2012
Publication type	A4 Article in conference proceedings

Publication series

Name	International Workshop on Systems Software Verification

Publication forum classification

Publication forum level 1

Access to Document

https://es.fbk.eu/events/ssv2011/papers/proceedings.pdf

Cite this

Jääskeläinen, A., Katara, M., Katz, S., & Virtanen, H. (2012). Verification of safety-critical systems: a case study report on using modern model checking tools. In J. Braner, M. Roveri, & H. Tews (Eds.), Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011 (pp. 66-80). (International Workshop on Systems Software Verification). TU Dresden. https://es.fbk.eu/events/ssv2011/papers/proceedings.pdf

Jääskeläinen, Antti ; Katara, Mika ; Katz, Shmuel et al. / Verification of safety-critical systems: a case study report on using modern model checking tools. Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011. editor / Jörg Braner ; Marco Roveri ; Hendrik Tews. Dresden, Germany : TU Dresden, 2012. pp. 66-80 (International Workshop on Systems Software Verification).

@inproceedings{aad8022c6f4d47bd98a0eb96f1c3816e,

title = "Verification of safety-critical systems: a case study report on using modern model checking tools",

author = "Antti J{\"a}{\"a}skel{\"a}inen and Mika Katara and Shmuel Katz and Heikki Virtanen",

note = "Ei UT-numeroa 15.8.2013<br/>Contribution: organisation=ohj,FACT1=1<br/>Publisher name: TU Dresden",

year = "2012",

language = "English",

series = "International Workshop on Systems Software Verification",

publisher = "TU Dresden",

pages = "66--80",

editor = "J{\"o}rg Braner and Marco Roveri and Hendrik Tews",

booktitle = "Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011",

}

Jääskeläinen, A, Katara, M, Katz, S & Virtanen, H 2012, Verification of safety-critical systems: a case study report on using modern model checking tools. in J Braner, M Roveri & H Tews (eds), Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011. International Workshop on Systems Software Verification, TU Dresden, Dresden, Germany, pp. 66-80. <https://es.fbk.eu/events/ssv2011/papers/proceedings.pdf>

Verification of safety-critical systems: a case study report on using modern model checking tools. / Jääskeläinen, Antti; Katara, Mika; Katz, Shmuel et al.
Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011. ed. / Jörg Braner; Marco Roveri; Hendrik Tews. Dresden, Germany: TU Dresden, 2012. p. 66-80 (International Workshop on Systems Software Verification).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Verification of safety-critical systems: a case study report on using modern model checking tools

AU - Jääskeläinen, Antti

AU - Katara, Mika

AU - Katz, Shmuel

AU - Virtanen, Heikki

N1 - Ei UT-numeroa 15.8.2013<br/>Contribution: organisation=ohj,FACT1=1<br/>Publisher name: TU Dresden

PY - 2012

Y1 - 2012

M3 - Conference contribution

T3 - International Workshop on Systems Software Verification

SP - 66

EP - 80

BT - Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011

A2 - Braner, Jörg

A2 - Roveri, Marco

A2 - Tews, Hendrik

PB - TU Dresden

CY - Dresden, Germany

ER -

Jääskeläinen A, Katara M, Katz S, Virtanen H. Verification of safety-critical systems: a case study report on using modern model checking tools. In Braner J, Roveri M, Tews H, editors, Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011. Dresden, Germany: TU Dresden. 2012. p. 66-80. (International Workshop on Systems Software Verification).