Skip to main content
SpringerLink
Log in
Book cover

Hardware and Software: Verification and Testing

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Eran Yahav

    1. Faculty of Computer Science, Technion, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: HVC 2014.

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 (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures

    • John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol
    Pages 1-16

  3. Enhancing Scenario Quality Using Quasi-Events

    • Yoav Katz, Eitan Marcus, Avi Ziv
    Pages 17-29

  4. Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems

    • Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
    Pages 30-47

  5. DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification

    • Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
    Pages 48-53

  6. Generating Modulo-2 Linear Invariants for Hardware Model Checking

    • Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin
    Pages 54-67

  7. Suraq — A Controller Synthesis Tool Using Uninterpreted Functions

    • Georg Hofferek, Ashutosh Gupta
    Pages 68-74

  8. Synthesizing Finite-State Protocols from Scenarios and Requirements

    • Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
    Pages 75-91

  9. Automatic Error Localization for Software Using Deductive Verification

    • Robert Könighofer, Ronald Toegl, Roderick Bloem
    Pages 92-98

  10. Generating JML Specifications from Alloy Expressions

    • Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel Tyszberowicz
    Pages 99-115

  11. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

    • Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina Pasareanu, Andreas Podelski et al.
    Pages 116-131

  12. Handling TSO in Mechanized Linearizability Proofs

    • Oleg Travkin, Heike Wehrheim
    Pages 132-147

  13. Partial Quantifier Elimination

    • Eugene Goldberg, Panagiotis Manolios
    Pages 148-164

  14. Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study

    • Mikhail Lukin, Maxim Buzdalov, Anatoly Shalyto
    Pages 165-170

  15. A Framework to Synergize Partial Order Reduction with State Interpolation

    • Duc-Hiep Chu, Joxan Jaffar
    Pages 171-187

  16. Reduction of Resolution Refutations and Interpolants via Subsumption

    • Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher
    Pages 188-203

  17. Read, Write and Copy Dependencies for Symbolic Model Checking

    • Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol
    Pages 204-219

  18. Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams

    • Angelo Gargantini, Paolo Vavassori
    Pages 220-235

  19. Formal Verification of Secure User Mode Device Execution with DMA

    • Oliver Schwarz, Mads Dam
    Pages 236-251

  20. Supervisory Control of Discrete-Event Systems via IC3

    • Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson
    Pages 252-266
Back to top

Other volumes

  1. Hardware and Software: Verification and Testing

Keywords

About this book

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Editors and Affiliations

  • Faculty of Computer Science, Technion, Haifa, Israel

    Eran Yahav

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation