Fabio Somenzi
- Address:
University of Colorado
Dept. of Electrical, Computer, and Energy Engineering
Campus Box 425
Boulder CO, 80309-0425
U.S.A.
- Office: Engineering Center, ECOT 348
- Phone: (303) 492-3466
- Fax: (303) 492-2758
- E-mail: Fabio _at_ Colorado _dot_ EDU
Classes (Fall 2011):
Office Hours:
- MW 11:00 am - 12:00 pm
- T 5:00 pm - 6:00 pm
- or by appointment
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.
