Welcome to the Frama-C blog Virgile Prevosto on 30 September 2010
Frama-C is an extensible platform dedicated to the analysis of C programs. It provides various plug-ins for navigating in a C code and better understanding its semantics. It can also be used to guarantee the absence of run-time error in a given program. At last, given a specification expressed in...
Read More