Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Fabio Somenzi

Fabio Somenzi

Address:
University of Colorado
Dept. of Electrical and Computer Engineering
Campus Box 425
Boulder CO, 80309-0425
U.S.A.
Office: Engineering Center, ECOT 435
Phone: (303) 492-3466
Fax: (303) 492-2758
E-mail: Fabio _at_ Colorado _dot_ EDU

Classes:

ECEN 5139 - MWF 12:00-12:50pm

Office Hours:

M 1:00 pm - 2:00 pm
WF 10:30 am - 11:30 am
or by appointment

Research Meetings:

M 2:00-3:00
M 5:30-6:30
T 1:30-2:30
T 2:30-3:30
T 3:30-5:00
W 2:30-4:00
R 1:00-2:00
R 2:00-3:30

Travel:

CAV, July 13 - 18

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.