Frama-C:
Plug-ins:
Libraries:

Frama-C API - Numerors

module Numerors_arithmetics : sig ... end
module Numerors_domain : sig ... end

Numerors domain: computes over-approximations of the rounding errors bounds of floating-point computations. Nothing is exported: the domain is registered as an analysis abstraction in the Eva engine, enabled by the -eva-domains numerors option.

module Numerors_float : sig ... end
module Numerors_interval : sig ... end
module Numerors_utils : sig ... end
module Numerors_value : sig ... end