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

IBM Verification Conference 2005

IBM Haifa Labs


IBM's Verification Track 2005
November 13, 2005
Organized by IBM Research Lab in Haifa, Israel


Workshop Co-chairs


Eyal Bin
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6330
Fax. +972-4-829-6114
Email: bin@il.ibm.com


Avi Ziv
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6454
Fax. +972-4-829-6114
Email: aziv@il.ibm.com


Yaron Wolfsthal
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6277
Fax. +972-4-829-6114
Email: wolfstal@il.ibm.com

 



Related Seminar Links
Visitors information  
Formal Verification and Testing Technologies in HRL  
Simulation based methods in HRL in HRL  


    About IBMPrivacyContact