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 fills a layer (when requested) and the symbol table.
Last updated on 2009/01/30 14h:53