• DocumentCode
    3736964
  • Title

    Formal methods for informal developpers: A case-study driven by the French defense agency (DGA)

  • Author

    Quentin Ochem;Eric Perlade

  • Author_Institution
    AdaCore New York, USA
  • fYear
    2015
  • Firstpage
    16
  • Lastpage
    16
  • Abstract
    Static analysis and formal methods are slowly finding their way in development processes. However, applying such technology requires methodologies and common understanding, which is not always widely spread. In this paper, we´ll describe how the French defense agency DGA is planning to audit such software in the context of military applications written in Ada.
  • Publisher
    ieee
  • Conference_Titel
    Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on
  • Type

    conf

  • DOI
    10.1109/ISSREW.2015.7392028
  • Filename
    7392028
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3736964