Verified System Development with the AutoFocus Tool Chain
Maria Spichkova (TU M\"unchen), Florian H\"olzl (fortiss GmbH), David, Trachtenherz (fortiss GmbH)
TL;DR
This paper introduces a model-based development methodology and an AutoFocus tool chain aimed at enhancing the verification and correctness of software systems through systematic checks and verification processes.
Contribution
It presents a comprehensive AutoFocus tool chain with verification principles, improving confidence in automatic generator implementations for verified software development.
Findings
Development of a model-based methodology for verified software
Implementation of an AutoFocus tool chain with verification features
Enhanced confidence in system correctness through systematic checks
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.