 |
Journal articles
Frama-C: A software analysis perspective
Florent Kirchner
1
Nikolai Kosmatov
1
Virgile Prévosto
1
Julien Signoles
1
Boris Yakobowski
1
1
LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Florent Kirchner 1
Author Employer institution : Laboratoire d'Intégration des Systèmes et des Technologies
Nikolai Kosmatov 1
Author
Virgile Prévosto 1
Author
Julien Signoles 1
Author
Boris Yakobowski 1
Author IdHAL : boris-yakobowski
1
LSL - Laboratoire Sûreté des Logiciels (Laboratoire Sûreté des Logiciels /
Software Safety and Security Laboratory - France)
- DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France)
- Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
Document type :
Journal articles
Complete list of metadatas
https://hal-cea.archives-ouvertes.fr/cea-01808981
Contributor : Florent Kirchner <>
Submitted on : Wednesday, June 6, 2018 - 11:48:16 AM
Last modification on : Monday, February 10, 2020 - 6:12:33 PM
Contributor : Florent Kirchner <>
Submitted on : Wednesday, June 6, 2018 - 11:48:16 AM
Last modification on : Monday, February 10, 2020 - 6:12:33 PM
Identifiers
- HAL Id : cea-01808981, version 1
- DOI : 10.1007/s00165-014-0326-7
Collections
CEA | CEA-UPSAY | DRT | LIST | UNIV-PARIS-SACLAY
Citation
Florent Kirchner, Nikolai Kosmatov, Virgile Prévosto, Julien Signoles, Boris Yakobowski. Frama-C: A software analysis perspective. Formal Aspects of Computing, Springer Verlag, 2015, 27 (3), pp.573 - 609. ⟨10.1007/s00165-014-0326-7⟩. ⟨cea-01808981⟩
Metrics
Record views