Skip to Main content Skip to Navigation
Conference papers

Experience report: Teaching code analysis and verification using Frama-C

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03338928
Contributor : Frédéric Loulergue Connect in order to contact the contributor
Submitted on : Thursday, September 9, 2021 - 10:43:34 AM
Last modification on : Tuesday, January 18, 2022 - 5:44:01 PM

Identifiers

  • HAL Id : hal-03338928, version 1

Citation

Salwa Souaf, Frédéric Loulergue. Experience report: Teaching code analysis and verification using Frama-C. 1st International Workshop on Applicable Formal Methods (appFM), Nov 2021, Beijing, China. ⟨hal-03338928⟩

Share

Metrics

Record views

25