Frama-C: A software analysis perspective - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Journal Articles Formal Aspects of Computing Year : 2015

Frama-C: A software analysis perspective

Florent Kirchner
  • Function : Author
  • PersonId : 975105
Nikolai Kosmatov
  • Function : Author
  • PersonId : 940734
Virgile Prévosto
Boris Yakobowski
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⟩
151 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More