electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Scripts
val nuXmv_default_script : string
val nuSMV_default_script : string
val nuXmv_default_bmc_script : string
val nuSMV_default_bmc_script : string