Verified System Development with the AutoFocus Tool Chain

Maria Spichkova
(TU München)
Florian Hölzl
(fortiss GmbH)
David Trachtenherz
(fortiss GmbH)

This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus 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.

In César Andrés and Luis Llana: Proceedings 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012), Paris, France, August 28, 2012, Electronic Proceedings in Theoretical Computer Science 86, pp. 17–24.
Published: 8th July 2012.

ArXived at: http://dx.doi.org/10.4204/EPTCS.86.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org