Experience report: Teaching code analysis and verification using Frama-C - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

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

Dates and versions

hal-03338928 , version 1 (09-09-2021)

Identifiers

Cite

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. ⟨10.4204/EPTCS.349.5⟩. ⟨hal-03338928⟩
44 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More