Hardware and Software: Verification and Testing

7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

  • Kerstin Eder
  • João Lourenço
  • Onn Shehory
Conference proceedings HVC 2011

DOI: 10.1007/978-3-642-34188-5

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Synthesis

    1. Orna Kupferman, Dorsa Sadigh, Sanjit A. Seshia
      Pages 5-19
    2. Matthias Schlaipfer, Georg Hofferek, Roderick Bloem
      Pages 20-34
  4. Formal Verification

    1. Marijn J. H. Heule, Oliver Kullmann, Siert Wieringa, Armin Biere
      Pages 50-65
    2. Zurab Khasidashvili, Alexander Nadel
      Pages 66-79
    3. B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain
      Pages 80-94
    4. Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta
      Pages 95-114
  5. Software Quality

    1. Qichang Chen, Liqiang Wang, Zijiang Yang
      Pages 115-129
    2. Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
      Pages 130-144
    3. Kenneth Johnson, Simon Reed, Radu Calinescu
      Pages 145-159
    4. Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
      Pages 160-175
    5. Thomas J. Ostrand, Elaine J. Weyuker
      Pages 176-189
  6. Testing and Coverage

    1. Ariel Birnbaum, Laurent Fournier, Steve Mittermaier, Avi Ziv
      Pages 190-202
    2. Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
      Pages 203-218
    3. Allon Adir, Ronen Levy, Tamer Salman
      Pages 219-233

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

Keywords

SAT solvers hardware hybrid automata model checking symbolic checking

Editors and affiliations

  • Kerstin Eder
    • 1
  • João Lourenço
    • 2
  • Onn Shehory
    • 3
  1. 1.Department of Computer ScienceUniversity of BristolBristolUK
  2. 2.Department of Computer Science and Engineering, FCT-UNLNova University of LisbonCaparicaPortugal
  3. 3.IBM Research Labs at Haifa, Haifa University CampusHaifaIsrael

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-34187-8
  • Online ISBN 978-3-642-34188-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349