Call for Papers

HVC 2012 is the eighth in the series of annual conferences dedicated to advancing the state-of the art and state-of-the-practice in verification and testing. The conference provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.

The common underlying goal of these techniques is to ensure the correct functionality and performance of complex systems. HVC is the only conference that brings together researchers and practitioners from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains.

HVC 2012 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software, hardware, and hybrid systems. The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia.

As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).

Topics of interest to the conference include, but are not limited to:

  • Simulation-based verification
  • Formal verification methods
  • High-level stimuli generation
  • Equivalence checking
  • SAT/SMT-based verification algorithms
  • Classification of hardware bugs
  • Static analysis
  • Design for verifiability
  • Hardware/software co-verification
  • Debugging
  • Emulation and acceleration
  • Formal modeling and specification
  • Post-silicon validation
  • CSP-based functional verification
  • Formal specification languages
  • Test automation and automated test generation

  • Model checking
  • Testing methodologies
  • Defect prevention
  • Test-driven development
  • Hybrid verification methods
  • Model-based testing
  • Verification coverage
  • Developer testing
  • Review and inspection
  • Semi-formal verification
  • Functional and performance testing
  • Coverage analysis and test minimization
  • Test planning
  • Testing and analysis of concurrent software
  • Domain specific testing and analysis
  • Empirical studies on test tool evaluation

Verification, Validation, and Testing (VVT) of Engineered Systems

This year, HVC will extend the traditional focus on hardware and software verification to include verification, validation, and testing (VVT) of complex hybrid systems as a part of the systems-engineering paradigm. Consequently, additional topics of interest include, but are not limited to:

  • Test and evaluation (T&E) of systems
  • System modeling and simulation
  • Formal verification and analysis
  • System requirement management - modeling, analysis, and verification
  • Focused VVT domains such as hardware, software, safety-critical systems, or specific hybrid systems - including aerospace & defense, and automotive
  • VVT during focused system lifecycles - specification, design, implementation, integration, qualification
  • VVT planning and optimization

Student grants

We anticipate a number of student grants to cover part of the travel expenses for full-time students who are authors of accepted papers.

Important Dates

Submission deadline: July 18, 2012
Author notification: September 10, 2012
Conference gathering: November 6-8, 2012
Final version: December 6, 2012

play gallery

HVC 2012 Photo gallery

Keynote speakers

Previous Conferences

As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).

HVC 2012 Poster

HVC 2012 Poster

See us on Linked In See us on Facebook