Safety-Critical System Development Methodology

The purpose of this work is to integrate verification techniques in real industrial development processes -- from informal textual specification and analysis of requirements to a verified implementation. Therefore, we present methods necessary to bridge the gap from informal requirements towards formal specification and from there to executable implementation. We show which development steps are necessary models are verified using both automatic and interactive techniques