University of California at Berkeley
      Department of Electrical Engineering & Computer Sciences
              Instructional & Electronics Support Groups


/share/b/pub/hytech.help
								 July 1, 2004


HyTech is an automatic tool for the analysis of embedded systems.
It was developed by Prof Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
For further information:  http://www-cad.eecs.berkeley.edu/~tah/HyTech/

EECS Instruction once installed HyTech for use by EE291E (Spring 2000).
It ran on our DEC Alpha and HP-UX systems, which are all gone now (July 2004).
We do not have it on our current Solaris or NT systems.

The files were installed in ~ee291e/HyTech and the program was run with   
~ee291e/HyTech/bin/hytech.

Questions about the Instructional installation may be sent to 
"inst@eecs.berkeley.edu".
   
					EECS Instructional Support Group
                                	384/386 Cory, 333 Soda
                                	inst@eecs.berkeley.edu