HVC 2013 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 complex hybrid systems. The conference will involve the presentation of peer–reviewed, original technical papers, as well as lectures by guests from industry and academia.<br>Unlike previous years, in HVC 2013 the conference proceedings will be published before the conference starts in Springer′s Lecture Notes in Computer Science series (LNCS). The conference proceedings will be handed in an electronic format to the guests of the conference on upon registration.<br>Topics of interest to the conference include, but are not limited to:<br>Simulation–based verification<br>Formal verification methods<br>High–level stimuli generation<br>Equivalence checking<br>SAT/SMT–based verification algorithms<br>Classification of hardware bugs<br>Static analysis<br>Verification coverage<br>Design for verifiability<br>Hardware/software co–verification<br>Debugging<br>Semi–formal verification<br>Emulation and acceleration<br>Formal modeling and specification<br>Post–silicon validation<br>CSP–based functional verification<br>Formal specification languages<br>Model checking<br>Verification, Validation, and Testing (VVT) of Engineered Systems<br>Continuing what was started last 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:<br>Test and evaluation (T&E) of systems<br>System modeling and simulation<br>Formal verification and analysis<br>System requirement management – modeling, analysis, and verification<br>Focused VVT domains such as hardware, software, safety–critical systems, or specific hybrid systems – including aerospace & defense, and automotive<br>VVT during focused system lifecycles – specification, design, implementation, integration, qualification<br>VVT planning and optimization<br>VVT for Systems–Engineering<br>
Abbrevation
HVC
City
Haifa
Country
Israel
Deadline Paper
Start Date
End Date
Abstract