Skip to main content
SpringerLink
Log in

Hardware and Software: Verification and Testing

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Kedar Namjoshi

    1. Bell Laboratories, Alcatel-Lucent, Murray Hill, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andreas Zeller

    1. Saarland University, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Avi Ziv

    1. IBM Research Laboratory, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique selling points

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

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

Included in the following conference series:

Conference proceedings info: HVC 2009.

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 54.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 (15 papers)

  1. Front Matter

    Download chapter PDF

  3. Research Papers

    1. Reduction of Interrupt Handler Executions for Model Checking Embedded Software

      • Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy
      Pages 5-20

    2. Diagnosability of Pushdown Systems

      • Christophe Morvan, Sophie Pinchinat
      Pages 21-33

    3. Functional Test Generation with Distribution Constraints

      • Anna Moss, Boris Gutkovich
      Pages 34-51

    4. An Explanation-Based Constraint Debugger

      • Aaron Rich, Giora Alexandron, Reuven Naveh
      Pages 52-56

    5. Evaluating Workloads Using Multi-comparative Functional Coverage

      • Yoram Adler, Shmuel Ur, Dale Blue
      Pages 57-70

    6. Reasoning about Finite-State Switched Systems

      • Dana Fisman, Orna Kupferman
      Pages 71-86

    7. Dataflow Analysis for Properties of Aspect Systems

      • Yevgenia Alperin-Tsimerman, Shmuel Katz
      Pages 87-101

    8. Bisimulation Minimisations for Boolean Equation Systems

      • Jeroen J. A. Keiren, Tim A. C. Willemse
      Pages 102-116

    9. Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming

      • Gal Katz, Doron Peled
      Pages 117-132

    10. Stacking-Based Context-Sensitive Points-to Analysis for Java

      • Xin Li, Mizuhito Ogawa
      Pages 133-149

    11. An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

      • Daniel Kroening, Georg Weissenbacher
      Pages 150-168

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Hardware and Software: Verification and Testing

Keywords

About this book

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

Editors and Affiliations

  • Bell Laboratories, Alcatel-Lucent, Murray Hill, USA

    Kedar Namjoshi

  • Saarland University, Saarbrücken, Germany

    Andreas Zeller

  • IBM Research Laboratory, Haifa, Israel

    Avi Ziv

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation