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/11/22 11h:03