Fabio Somenzi



Classes (Fall 2011):

Office Hours:

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

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

VIS

VIS is a symbolic model checker.

I'd Rather Be...

Local Links

Information on Boulder and vicinity

Quotation:

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