Hardware and Software: Verification and Testing

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

  • Nir Piterman
Conference proceedings HVC 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, 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
    2. Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
      Pages 209-224
    3. Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki
      Pages 225-241
  9. Multi Domain Verification

    1. Front Matter
      Pages 243-243
    2. Ping Yeung, Eugene Mandel
      Pages 245-255
  10. Synthesis

    1. Front Matter
      Pages 257-257
    2. Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas Veneris, Barbara Jobstmann et al.
      Pages 259-275
    3. Jan Lanik, Oded Maler
      Pages 276-291
  11. Back Matter
    Pages 293-293

About these proceedings


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.


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
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-26286-4
  • Online ISBN 978-3-319-26287-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment