RMIT University
Browse

Verified system development with the autofocus tool chain

conference contribution
posted on 2024-10-31, 17:12 authored by Maria SpichkovaMaria Spichkova, Florian Holzl, David Trachtenherz
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.

History

Related Materials

  1. 1.
    DOI - Is published in 10.4204/EPTCS.86
  2. 2.
    ISSN - Is published in 20752180

Start page

17

End page

24

Total pages

8

Outlet

Proceedings in the 2nd Workshop on Formal Methods in the Development of Software

Editors

César Andrés and Luis Llana

Name of conference

2nd Workshop on Formal Methods in the Development of Software

Publisher

EPTCS

Place published

Paris, France

Start date

2012-08-30

End date

2012-08-30

Language

English

Copyright

© 2012 The Authors

Former Identifier

2006042109

Esploro creation date

2020-06-22

Fedora creation date

2013-09-23

Usage metrics

    Scholarly Works

    Categories

    Keywords

    Not Assigned

    Licence

    All rights reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC