---
abstract: 'This work presents a model-based development methodology[^1] for verified software systems as well as a tool support for it: an applied <span><span><span><span><span style="font-variant:small-caps;">AutoFocus</span></span></span> 3</span></span> tool chain and its basic principles emphasizing the verification of the system under development as well as the check mechanisms we used to raise the level of confidence in the correctness of the implementation of the automatic generators.'
author:
- Maria Spichkova
- Florian Hölzl David Trachtenherz
bibliography:
- 'biblio2.bib'
title: |
    Verified System Development\
    with the AutoFocus Tool Chain
---

[^1]: This work was fully funded by the German Federal Ministry of Education, Science, Research and Technology (BMBF) in the framework of the Verisoft XT project. The responsibility for this article lies with the authors.

{'source': 'arXiv_out/1207'}