Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2011

Hardware and Software: Verification and Testing

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

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)

Conference series link(s): HVC: Haifa Verification Conference

Conference proceedings info: HVC 2010.

Sections

Buy it now

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

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

Table of contents (17 papers)

  1. Front Matter

    PDF

  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

  6. An Introduction to Test Specification in FQL

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

  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

    PDF
Back to top

Other Volumes

  1. Hardware and Software: Verification and Testing

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation