Frama-C:
Plug-ins:
Libraries:

Frama-C API - TacLemma

Self registered 'Lemma' Tactical

val named : Definitions.dlemma -> lemma
val find : string -> lemma
val tactical : Tactical.tactical
val strategy : ?priority:float -> ?at:Tactical.selection -> string -> Tactical.selection list -> Strategy.strategy