The compile package
Compilation of NuSMV input language into BDD.
By Marco Roveri
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 1020327 15h41