|
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 http://www.springer.com/east/home/computer/lncs?SGWID=5-164-7-72376-0). An early email to Eyal Bin (bin@il.ibm.com) 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 |
| |
Proceedings publication: Springer Lecture Notes in Computer Science
|
