Fabio Somenzi


Office Hours:

Research Meetings:


CUDD: CU Decision Diagram Package

CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs). Examine the documentation or download the package. You can also download DDcal, a BDD calculator based on CUDD, PerlDD, an extension to Perl based on CUDD, and a collection of BDD variable orders.


Wring is a program to translate Linear Time Logic (LTL) formulae into generalized Buechi automata. Wring is written in Perl.


VIS is a symbolic model checker.

I'd Rather Be...

Local Links

Information on Boulder and vicinity


Tertia post illam successit aenea proles,
saevior ingeniis et ad horrida promptior arma,
non scelerata tamen; de duro est ultima ferro.