electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Smv
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