Frama-C: A software analysis perspective

Florent Kirchner; Nikolai Kosmatov; Virgile Prévosto; Julien Signoles; Boris Yakobowski

doi:10.1007/s00165-014-0326-7

Journal Articles Formal Aspects of Computing Year : 2015

Frama-C: A software analysis perspective

(1) , (1) , (1) , (1) , (1)

1

Florent Kirchner

Function : Author
PersonId : 975105

Laboratoire Sûreté des Logiciels

Nikolai Kosmatov

Function : Author
PersonId : 940734

Laboratoire Sûreté des Logiciels

Virgile Prévosto

Function : Author
PersonId : 9523
IdHAL : virgile-prevosto
ORCID : 0000-0002-7203-0968
IdRef : 089311884

Laboratoire Sûreté des Logiciels

Julien Signoles

Function : Author

Laboratoire Sûreté des Logiciels

Boris Yakobowski

Function : Author
PersonId : 8765
IdHAL : boris-yakobowski
IdRef : 132528967

Laboratoire Sûreté des Logiciels

Domains

Software Engineering [cs.SE] Logic in Computer Science [cs.LO]

Florent Kirchner : Connect in order to contact the contributor

https://hal-cea.archives-ouvertes.fr/cea-01808981

Submitted on : Wednesday, June 6, 2018-11:48:16 AM

Last modification on : Thursday, February 17, 2022-10:08:03 AM

Dates and versions

cea-01808981 , version 1 (06-06-2018)

Identifiers

HAL Id : cea-01808981 , version 1
DOI : 10.1007/s00165-014-0326-7

Cite

Florent Kirchner, Nikolai Kosmatov, Virgile Prévosto, Julien Signoles, Boris Yakobowski. Frama-C: A software analysis perspective. Formal Aspects of Computing, 2015, 27 (3), pp.573 - 609. ⟨10.1007/s00165-014-0326-7⟩. ⟨cea-01808981⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

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

151 View

0 Download

Frama-C: A software analysis perspective

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share