Frama-C: A software analysis perspective - Archive ouverte HAL Access content directly
Journal Articles Formal Aspects of Computing Year : 2015

Frama-C: A software analysis perspective

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
Laboratoire Sûreté des Logiciels
Julien Signoles
  • Function : Author
Laboratoire Sûreté des Logiciels
Boris Yakobowski
Laboratoire Sûreté des Logiciels

Domains

Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] 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

Not file

Dates and versions

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

Identifiers

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
148 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More