Verified system development with the autofocus tool chain

Spichkova, M, Holzl, F and Trachtenherz, D 2012, 'Verified system development with the autofocus tool chain', in César Andrés and Luis Llana (ed.) Proceedings in the 2nd Workshop on Formal Methods in the Development of Software, Paris, France, August 28, 2012, pp. 17-24.


Document type: Conference Paper
Collection: Conference Papers

Title Verified system development with the autofocus tool chain
Author(s) Spichkova, M
Holzl, F
Trachtenherz, D
Year 2012
Conference name 2nd Workshop on Formal Methods in the Development of Software
Conference location Paris, France
Conference dates August 28, 2012
Proceedings title Proceedings in the 2nd Workshop on Formal Methods in the Development of Software
Editor(s) César Andrés and Luis Llana
Publisher EPTCS
Place of publication Paris, France
Start page 17
End page 24
Total pages 8
Abstract This work presents a model-based development methodology1 for verified software systems as well as a tool support for it: an applied AUTOFOCUS 3 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.
Subjects Software Engineering
DOI - identifier 10.4204/EPTCS.86
Copyright notice © 2012 The Authors
ISSN 2075-2180
Versions
Version Filter Type
Altmetric details:
Access Statistics: 149 Abstract Views  -  Detailed Statistics
Created: Mon, 23 Sep 2013, 13:15:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us