Tim Gonschorek, Marco Filax, Frank Ortmeier: A Verification Environment for Critical Systems: Integrating Formal Methods into the Safety Development Life-cycle. Invited Paper: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), 2017.

Abstract

BibTeX (Download)

@misc{Gonschorek2017b,
title = {A Verification Environment for Critical Systems: Integrating Formal Methods into the Safety Development Life-cycle},
author = {Tim Gonschorek and Marco Filax and Frank Ortmeier},
editor = {Otto-von-Guericke-Universit\"{a}t Magdeburg},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/GonschorekEtAl_-VECS_imbsa17_poster.pdf
https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/GonschorekEtAl_-VECS_imbsa17_poster.pdf},
year  = {2017},
date = {2017-09-11},
howpublished = {Invited Paper:  5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017)},
keywords = {formal verification for safety critical systems, model checking, model-based safety assessment},
pubstate = {published},
tppubtype = {misc}
}