Can I read Verified System Development with the AutoFocus Tool Chain on EtoBox?

Verified System Development with the AutoFocus Tool Chain by Spichkova, Maria; Hölzl, Florian; Trachtenherz, David is a scholarly article available to read on EtoBox.

What is Verified System Development with the AutoFocus Tool Chain about?

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.

Author

Spichkova, Maria; Hölzl, Florian; Trachtenherz, David

Published

2012

Language

EN