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 and how the specifications and models are verified using both automatic and interactive techniques.      «

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 and how the specifications and models are verified using both automatic and interactive tec...     »