Formal Software Verification at Model and at Source Code Levels - ONERA - Office national d'études et de recherches aérospatiales Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Formal Software Verification at Model and at Source Code Levels

Résumé

In a software development lifecycle, it is often more than half of the development time that is dedicated to verification activities. Formal methods offer new possibilities for verification. In the specification phase, simulation or model-checking allow users to detect errors in models. In the implementation phase, analysis techniques, like static analysis, make the verification tasks more exhaustive and more automatic. In this context, we propose to take advantage of these methods to improve embedded software development processes based on the V-model.
Fichier principal
Vignette du fichier
medi_fernandes.pdf (139.89 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00797091 , version 1 (05-03-2013)

Identifiants

Citer

Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat. Formal Software Verification at Model and at Source Code Levels. 2nd International Conference on Model & Data Engineering (MEDI'2012), Oct 2012, France. pp.162-169, ⟨10.1007/978-3-642-33609-6_16⟩. ⟨hal-00797091⟩

Collections

ONERA TDS-MACS
304 Consultations
1031 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More