package electrod

  1. Overview
  2. Docs

Provides a transformation from Electrod models to SMV models. Uses enumerations when possible.

module SMV_LTL : sig ... end
module SMV_file_format : sig ... end
module Elo_to_SMV_LTL : sig ... end
module Elo_to_SMV_model : sig ... end
val pp : ?margin:int -> Format.formatter -> SMV_file_format.t -> unit
val analyze : conversion_time:Mtime.span -> cmd:string -> script:Libelectrod__Solver.script_type -> keep_files:bool -> no_analysis:bool -> elo:Elo.t -> file:string -> bmc:int option -> SMV_file_format.t -> Outcome.t
OCaml

Innovation. Community. Security.