Haifa Verification Conference

Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

  • Nir Piterman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9434)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Hybrid Systems

    1. Front Matter
      Pages 1-1
    2. Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
      Pages 3-18
    3. Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong, Radu Grosu
      Pages 19-35
  3. Tools

    1. Front Matter
      Pages 37-37
    2. Balázs Kiss, Nikolai Kosmatov, Dillon Pariente, Armand Puccetti
      Pages 39-50
    3. Moab Arar, Michael Behm, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev et al.
      Pages 51-66
  4. Verification of Robotics

    1. Front Matter
      Pages 67-67
    2. Dejanira Araiza-Illan, David Western, Anthony Pipe, Kerstin Eder
      Pages 69-84
  5. Symbolic Execution

    1. Front Matter
      Pages 85-85
    2. Jakub Daniel, Pavel Parízek
      Pages 87-103
    3. Heike Wehrheim, Oleg Travkin
      Pages 104-119
    4. Martin Nowack, Katja Tietze, Christof Fetzer
      Pages 120-135
  6. Model Checking

    1. Front Matter
      Pages 137-137
    2. Lenore D. Zuck, Sanjiva Prasad
      Pages 139-154
    3. Martin Leucker, Grigory Markin, Martin R. Neuhäußer
      Pages 155-170
  7. Timed Systems

    1. Front Matter
      Pages 171-171
    2. Christian Herrera, Bernd Westphal
      Pages 173-189
    3. Jin Hyun Kim, Axel Legay, Kim G. Larsen, Marius Mikučionis, Brian Nielsen
      Pages 190-205
  8. SAT Solving

    1. Front Matter
      Pages 207-207

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.

The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

Keywords

Dynamic validation Hybrid systems Model checking SAT solving Timed systems Abstraction Formal verification Hardware verification Heartbleed IPv6 mobility Java Multi-core processors Parallel implementations Parameterised verification Simulation Software verification Symbolic execution Synthesis Testing Theorem proving

Editors and affiliations

  • Nir Piterman
    • 1
  1. 1.University of LeicesterLeicesterUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-26287-1
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-26286-4
  • Online ISBN 978-3-319-26287-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book