Skip to Main content Skip to Navigation
Conference papers

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

Salwa Souaf 1 Frédéric Loulergue 2 
1 CentraleSupélec
2 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
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

Collections

UNIV-ORLEANS | CENTRALESUPELEC | INSA-GROUPE | INSA-CVL

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

25

 

Contact                    Legal Notice                    Personal Data