http://www.cs.cornell.edu/Info/People/tah/hytech.html Tom Henzinger: HyTech

HyTech: The HYbrid TECHnology Tool

We have moved.