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

October 23 - 26, 2006
Organized by IBM Research Lab in Haifa, Israel

Call for Papers and Tools

Call for Papers and Tools PDF version for printing (227 KB)

The second annual Haifa Verification Conference provides a forum for academia, industry, and the research and development community to share their work, exchange ideas, and discuss challenges and future research directions in the areas of hardware verification and software testing. The conference includes three tracks: hardware verification technologies and methodologies, software testing, and hardware verification and software testing tools. In addition, the conference includes a half-day tutorial on PSL. Topics of interest to the conference include, but are not limited to:

Hardware Verification
  • Simulation-based verification
  • High-level stimuli generation
  • Verification coverage
  • Simulation checking
  • Formal methods and their applications
  • Model checking
  • Verification using SAT
  • Equivalence checking
  • PSL methodologies and experience
  • Classification of hardware bugs
  • Design for verifiability
  • Hardware/software co-verification
  • Hybrid verification methods
  • Emulation and acceleration
  • CSP applications in functional verification

Software Testing
  • Using static analysis in testing
  • Concurrency testing
  • Debugging
  • Formal verification of SW
  • Defect prevention
  • Test-driven development
  • Model-based testing
  • Developer testing
  • Review and inspection
  • Pair testing and first testing
  • Automatic test generation
  • Test automation frameworks

The organizing committee invites authors to submit papers describing original and unpublished work to all three tracks of the conference. Submitted papers should not to exceed 15 pages in LNCS format (see An early email to Eyal Bin ( with your intention to submit a paper would be greatly appreciated. Accepted papers will be presented at the conference and published in a post-conference Springer Lecture Notes in Computer Science book (LNCS).

The organizing committee also invites the submission of hardware verification and software testing tools to the tools track. We welcome tools from both academia and industry. Tool submissions should include an extended abstract describing the tool, not exceeding five pages in LNCS format. Accepted tools will be presented at the conference (short presentation) and, if desired, demoed during the conference. Note that authors of regular accepted papers on tools are also invited to demo their tools during the conference.

Important Dates

Paper due: July 06, 2006
Notification of paper acceptance: September 01, 2006
Conference gathering and presentations (Monday): October 16-23, 2006
Final version: November 17, 2006


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