Package Documentation


atlp Routines for parsing, writing and accessing ATL formulas.
atm External header file for the package Atm.
enum This is header file that should be included by any applicaition
img Methods for performing image computations.
intf
inv Routines for parsing, writing and accessing invariants.
main External header file for the main package.
mc Fair CTL model checker and debugger.
mdl Building Modules and Performing Various Operations.
mvf Creation and manipulation of MDD-based multi-valued functions.
prs External header files from parser.
ref routines for refinement checking between modules
rtm Timing verification
sim External header file for simulation.
sym building symbolic transition relation for a module
trc
var Data structures and routines to manipulate variables and

Last updated on 980624 22h11