Module C2I
C2I is a machine-learning-based invariant generation technique.
See documentation in source file for more details.
val main : 'a InputSystem.t -> Analysis.param -> TransSys.t -> unitval on_exit : TransSys.t option -> unit
C2IC2I is a machine-learning-based invariant generation technique.
See documentation in source file for more details.
val main : 'a InputSystem.t -> Analysis.param -> TransSys.t -> unitval on_exit : TransSys.t option -> unit