Tamir Heyman Home Page

Welcome,
 

 

Research Links

Publications:

• Distributed Symbolic Model Checking for mu-calculus, CAV'2001

 

• A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits, CAV'2000
• Scalable Distributed On-the-Fly Symbolic Model Checking, FMCAD'2000

The Division system Web page

• division.htm

Formal verification project:

• Project description

Other Links

• ISCAS89-93
• my stuff

If you have comments or suggestions, email me at tamirh@cs.technion.ac.il

This page created with Netscape Navigator Gold