most citedExperience Report: Teaching Code Analysis and Verification Using Frama-C

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2021★ 2 cited

Experience Report: Teaching Code Analysis and Verification Using Frama-C

Salwa Souaf, Frédéric Loulergue

Formal methods provide systematic and rigorous techniques for software development. We strongly believe that they must be taught in computer science curricula. In this paper we pre…