Fabio Somenzi
Professor
Fabio@colorado.edu
303-492-3466

Formal Verification | Model Checking | Hardware Synthesis | Automata | Decision Procedures | Decision Diagrams