Skip to main content
SpringerLink
Log in

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Armin Biere

    1. Institute for Formal Models and Verification, Johannes Kepler University, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Amir Nahir

    1. IBM Research Laboratory, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tanja Vos

    1. Universidad Politecnica de Valencia, Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7857)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: HVC 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. On Behavioral Programming

    • David Harel
    Pages 1-1

  3. Verifying Real-Time Software Is Not Reasonable (Today)

    • Edward A. Lee
    Pages 2-2

  4. SMT in Verification, Modeling, and Testing at Microsoft

    • Nikolaj Bjørner
    Pages 3-3

  5. Reducing Costs While Increasing Quality

    • Orna Raz
    Pages 4-4

  6. Special Session on Security Verification

    • Alex Goryachev
    Pages 5-5

  7. Circuit Primitives for Monitoring Information Flow and Enabling Redundancy

    • Ryan Kastner
    Pages 6-6

  8. Formal Analysis of Security Data Paths in RTL Design

    • Jamil Mazzawi, Ziyad Hanna
    Pages 7-7

  9. Precise Detection of Atomicity Violations

    • Ricardo J. Dias, Vasco Pessanha, João M. Lourenço
    Pages 8-23

  10. Proving Mutual Termination of Programs

    • Dima Elenbogen, Shmuel Katz, Ofer Strichman
    Pages 24-39

  11. Knowledge Based Transactional Behavior

    • Saddek Bensalem, Marius Bozga, Doron Peled, Jean Quilbeuf
    Pages 40-55

  12. Repair with On-The-Fly Program Analysis

    • Robert Könighofer, Roderick Bloem
    Pages 56-71

  13. Computing Interpolants without Proofs

    • Hana Chockler, Alexander Ivrii, Arie Matsliah
    Pages 72-85

  14. MaxSAT-Based MCS Enumeration

    • Antonio Morgado, Mark Liffiton, Joao Marques-Silva
    Pages 86-101

  15. Automated Reencoding of Boolean Formulas

    • Norbert Manthey, Marijn J. H. Heule, Armin Biere
    Pages 102-117

  16. Leveraging Accelerated Simulation for Floating-Point Regression

    • John Paul, Elena Guralnik, Anatoly Koyfman, Amir Nahir, Subrat K. Panda
    Pages 118-131

  17. Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation

    • Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik
    Pages 132-147

  18. A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs

    • Yoav Katz, Michal Rimon, Avi Ziv
    Pages 148-161

  19. Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation

    • Youngjoo Kim, Moonzoo Kim, Tai-Hyo Kim
    Pages 162-177

  20. A New Test-Generation Methodology for System-Level Verification of Production Processes

    • Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek
    Pages 178-192
Back to top

Other volumes

  1. Hardware and Software: Verification and Testing

Keywords

About this book

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

Editors and Affiliations

  • Institute for Formal Models and Verification, Johannes Kepler University, Linz, Austria

    Armin Biere

  • IBM Research Laboratory, Haifa, Israel

    Amir Nahir

  • Universidad Politecnica de Valencia, Valencia, Spain

    Tanja Vos

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation