Property_navigator
Extension of the GUI in order to navigate in ACSL properties.
module Rte : sig ... end
Frama-C