Skip to main content


Formal Verification

Presentation to US Ambassador

On July 22, 2002, Dan Kurtzer, the US Ambassador to Israel visited the IBM Haifa Labs for a meeting with the Lab Director and the General Manager of IBM Israel.

Sugar was presented to Ambassador Kurtzer as a key contribution of the IBM Haifa Labs.

To see the presentation, click here.