MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 18:58:16 GMT
Content-Type: text/html
Content-Length: 2317
Last-Modified: Thursday, 13-Jun-96 06:50:44 GMT
Tom Henzinger
Assistant Professor
Computer Science Department
Cornell University
Ithaca, NY 14853
Email: tah@cs.cornell.edu
Phone: (607) 255-3009
Fax: (607) 255-4428
Research
Formal support for the development and analysis of concurrent, real-time,
and embedded systems.
(Related research
at Cornell
and
worldwide.)
Tools
-
HyTech: a symbolic model checker for linear hybrid systems
Courses
Conferences
-
HYBRID 95: Verification and Control of Hybrid Systems
-
CAV 96: Computer-Aided Verification
Last updated on September 1, 1995.
tah@cs.cornell.edu