Verified System Development with the AutoFocus Tool Chain

Maria Spichkova; Florian Hölzl; David Trachtenherz

doi:10.4204/EPTCS.86.3

Verified System Development with the AutoFocus Tool Chain

Software Engineering 2012-07-11 v1

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

View on arXiv ↗ PDF ↗ DOI ↗

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.

Keywords

formal verification software testing verification

Cite

@article{arxiv.1207.2236,
  title  = {Verified System Development with the AutoFocus Tool Chain},
  author = {Maria Spichkova and Florian Hölzl and David Trachtenherz},
  journal= {arXiv preprint arXiv:1207.2236},
  year   = {2012}
}

Comments

In Proceedings WS-FMDS 2012, arXiv:1207.1841

Related papers

View all related →