Module IC3

Property-directed reachability (aka IC3)

Initial implementation by Piere-Loic Garoche

author
Christoph Sticksel
exception UnsupportedFeature of string
val main : 'a InputSystem.t -> Analysis.param -> TransSys.t -> unit

Entry point

val on_exit : TransSys.t option -> unit

Cleanup before exit