IBM®
Skip to main content
    Israel [change]    Terms of use
  
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

RuleBase Parallel Edition

Formal Verification


Contact Information


Sivan Rabinovich
IBM Haifa Research Lab
Haifa University Campus
Mount Carmel
Haifa 31905
Israel
Email: sivanr@il.ibm.com
Tel: +972-4-828-1108



 
 





    About IBM    Privacy    Contact