Formal Verification and Testing Technologies

The Israel Innovation Summit

Chair: Dr. Yaron Wolfsthal, IBM HRL

• Presentation to introduce the session
  
  
• Presentation of Ophir Nadir, VP R&D and Engineering, ChipX
  
  
• Presentation of Alain Hartman, Mgr of Model-Based Engineering Technologies, IBM Haifa Research Lab
  
  
• Presentation of Amir Weinberg, CTO Service-Oriented Architecures, Mercury Interactive
  
  
• Presentation of Dr. Ofer Strichman, Technion - Israel Inst. of Technology
  
  
• Presentation of Gal Ofel, VP Product Marketing, Shunra
  
  

Print this page