Frama-C:
Plug-ins:
Libraries:

Frama-C API - With_Under_Approximation

type t

under-approximation of union

val meet : t -> t -> t Lattice_bounds.or_bottom

under-approximation of intersection