Showing 1–1 of 1 results for author: Trachtenherz, D

Verified System Development with the AutoFocus Tool Chain

Authors: Maria Spichkova, Florian Hölzl, David Trachtenherz

Abstract: 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. 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. △ Less

Submitted 10 July, 2012; originally announced July 2012.

Comments: In Proceedings WS-FMDS 2012, arXiv:1207.1841

ACM Class: D.2.1; D.2.2; D.2.4

Journal ref: EPTCS 86, 2012, pp. 17-24