Visitor

Views

Preuve, analyse statique et vérification runtime

Main plugins of Frama-C ? ? Value analysis Static verification of C code using Abstract Interpretation techniques. ? WP.