Tampere University of Technology

TUTCRIS Research Portal

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Standard

Verification of safety-critical systems: a case study report on using modern model checking tools. / Jääskeläinen, Antti; Katara, Mika; Katz, Shmuel; Virtanen, Heikki.

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 proceedingConference contributionScientificpeer-review

Harvard

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.

APA

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). Dresden, Germany: TU Dresden.

Vancouver

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).

Author

Jääskeläinen, Antti ; Katara, Mika ; Katz, Shmuel ; Virtanen, Heikki. / 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).

Bibtex - Download

@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",

}

RIS (suitable for import to EndNote) - Download

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 -