Frama-C:

Plug-ins:

Libraries:

Frama-C API - `Compiler`

module M : Sigs.Model

module C : Sigs.CodeSemantics with module M = M

module L : Sigs.LogicSemantics with module M = M

module A : Sigs.LogicAssigns with module M = M and module L = L

Frama-C API - Compiler