Verified System Development with the AutoFocus Tool Chain
arXiv:1207.2236 · doi:10.4204/EPTCS.86.3
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.
In Proceedings WS-FMDS 2012, arXiv:1207.1841
References in corpus (1)
Cited by in corpus (5)
- Human Factors in Software Reliability Engineering
- Human Factors of Formal Methods
- Towards system development methodologies: From software to cyber-physical domain
- Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation
- (Auto)Focus approaches and their applications: A systematic review