Skip to Main content Skip to Navigation
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
Document type :
Journal articles
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01808981
Contributor : Florent Kirchner Connect in order to contact the contributor
Submitted on : Wednesday, June 6, 2018 - 11:48:16 AM
Last modification on : Thursday, February 17, 2022 - 10:08:03 AM

Identifiers

Collections

CEA | DRT | CEA-UPSAY | UNIV-PARIS-SACLAY | LIST | GS-ENGINEERING | GS-COMPUTER-SCIENCE

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

143