The compile package
Compilation of NuSMV input language into BDD.
By Marco Roveri, Emanuele Olivetti
This package contains the compiler of NuSMV code into
BDD. It works on a flattened/instantiated structure. Performs the
checks on the parse tree and generates the encoding of scalar
variables into BDDs. Then, the transition relation is created with
different methods.
Last updated on 2005/03/18 10h:03