Introduction
Objectives
Partners
- STMicroelectronics/Grenoble
- Infineon Technologie
- IBM Haifa Research Labs
- OneSpin Solutions
- ITC-irst : Automated Reasoning System division
- Accellera Standards Organization
- Weizmann Institute of Science
- Institute for Software Technology, TU Graz
VERIMAG People involved
- Oded Maler
