package electrod

  1. Overview
  2. Docs

Represents SMV files and how to produce them

val nuXmv_default_script : string
val nuSMV_default_script : string
val nuXmv_default_bmc_script : string
val nuSMV_default_bmc_script : string

Given an implementation for atoms, provides a LTL implementation with a pretty printing function for Solver formulas.

TODO: implement abstract file format functions

OCaml

Innovation. Community. Security.