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

Salwa Souaf Frédéric Loulergue

Published in: AppFM@FM (2021)

Keyphrases

statistical analysis
data analysis
static analysis
formal analysis
mobile devices
learning process
blended learning
cooperative learning