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

Haifa verification conference 2006

IBM Haifa Labs

Invitation Registration

IBM Tools Track 2006
October 24, 2006
Organized by IBM Research Lab in Haifa, Israel


IBM Haifa Research Lab (HRL) cordially invites you to a full-day conference track on verification tools, which is part of the Haifa Verification Conference on the subject of verification technologies and software testing.

The conference track will take place on Tuesday, the 24th of October, 2006 at the IBM Haifa Labs site on the University of Haifa campus, in the Auditorium (Room L100), from 9:30 to 17.15. Lunch and light refreshments will be served. Participation is free.

Please confirm your participation, via the seminar website:

Tools Track Topics

The topics for the tools track are similar to those of the Hardware Verification Track and the software testing track, but oriented toward tools.


Related Conference Links
Visitors information  
Formal Verification in HRL  
Verification and Testing Solutions in HRL  
Simulation based methods in HRL  
IBM Verification Conference 2005  
IBM Verification Seminar 2004  
IBM Verification Seminar 2003  
IBM Verification Seminar 2002  

Proceedings publication: Springer Lecture Notes in Computer Science

    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research