Skip to main content
SpringerLink
Log in
Book cover

Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Sharon Barner

    1. IBM Research - Haifa, Mount Carmel, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ian Harris

    1. Department of Computer Science, University of California Irvine, Irvine, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Daniel Kroening

    1. Wolfson Building, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Orna Raz

    1. IBM Research - Haifa, Mount Carmel, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • fast-track-conference proceedings
  • state-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: HVC 2010.

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

  1. Front Matter

    Download chapter PDF

  2. Understanding Transactional Memory (Extended Abstract)

    • João Lourenço
    Pages 1-2

  3. The SMT-LIB Initiative and the Rise of SMT

    • Clark Barrett, Leonardo de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli
    Pages 3-3

  4. Testing Concurrent Software

    • Shmuel Ur
    Pages 4-4

  5. Reflections on Spartan Programming and the No-Debugger Principle

    • Joseph (Yossi) Gil
    Pages 5-8

  6. An Introduction to Test Specification in FQL

    • Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith
    Pages 9-22

  7. Verification Failures: What to Do When Things Go Wrong

    • Valeria Bertacco
    Pages 23-23

  8. Special Session on Debugging

    • Yoav Hollander, Alan Hu, João Lourenço, Ronny Morad
    Pages 24-28

  9. Debugging Unrealizable Specifications with Model-Based Diagnosis

    • Robert Könighofer, Georg Hofferek, Roderick Bloem
    Pages 29-45

  10. Parallelizing a Symbolic Compositional Model-Checking Algorithm

    • Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa’ar, Lenore D. Zuck, Katya I. Kisyova
    Pages 46-59

  11. Reaching Coverage Closure in Post-silicon Validation

    • Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann
    Pages 60-75

  12. Variants of LTL Query Checking

    • Hana Chockler, Arie Gurfinkel, Ofer Strichman
    Pages 76-92

  13. SAT-Solving Based on Boundary Point Elimination

    • Eugene Goldberg, Panagiotis Manolios
    Pages 93-111

  14. Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation

    • Charalambos Ioannides, Geoff Barrett, Kerstin Eder
    Pages 112-128

  15. vlogsl : A Strategy Language for Simulation-Based Verification of Hardware

    • Michael Katelman, José Meseguer
    Pages 129-145

  16. Advances in Simultaneous Multithreading Testcase Generation Methods

    • John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir
    Pages 146-160

  17. Revisiting Synthesis of GR(1) Specifications

    • Uri Klein, Amir Pnueli
    Pages 161-181

  18. An Efficient and Flexible Approach to Resolution Proof Reduction

    • Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina
    Pages 182-196

  19. 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-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

Editors and Affiliations

  • IBM Research - Haifa, Mount Carmel, Israel

    Sharon Barner, Orna Raz

  • Department of Computer Science, University of California Irvine, Irvine, USA

    Ian Harris

  • Wolfson Building, Oxford, UK

    Daniel Kroening

Bibliographic Information

  • Book Title: Hardware and Software: Verification and Testing

  • Book Subtitle: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

  • Editors: Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-19583-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Berlin Heidelberg 2011

  • Softcover ISBN: 978-3-642-19582-2Published: 17 March 2011

  • eBook ISBN: 978-3-642-19583-9Published: 09 March 2011

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 197

  • Number of Illustrations: 38 b/w illustrations, 13 illustrations in colour

  • Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation