Hardware and Software: Verification and Testing

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

  • Eran Yahav
Conference proceedings HVC 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8855)

Table of contents

  1. Front Matter
  2. John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol
    Pages 1-16
  3. Yoav Katz, Eitan Marcus, Avi Ziv
    Pages 17-29
  4. Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
    Pages 30-47
  5. Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
    Pages 48-53
  6. Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin
    Pages 54-67
  7. Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
    Pages 75-91
  8. Robert Könighofer, Ronald Toegl, Roderick Bloem
    Pages 92-98
  9. Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel Tyszberowicz
    Pages 99-115
  10. Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina Pasareanu, Andreas Podelski et al.
    Pages 116-131
  11. Oleg Travkin, Heike Wehrheim
    Pages 132-147
  12. Eugene Goldberg, Panagiotis Manolios
    Pages 148-164
  13. Mikhail Lukin, Maxim Buzdalov, Anatoly Shalyto
    Pages 165-170
  14. Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher
    Pages 188-203
  15. Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol
    Pages 204-219
  16. Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson
    Pages 252-266

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Keywords

DMA HOL4 automata-based programming automated testing automated verification discrete-event systems discrete-event systems dynamic invariants formal verification java model checking peripheral devices relational logic simulation test case generation theorem proving verification

Editors and affiliations

  • Eran Yahav
    • 1
  1. 1.Faculty of Computer ScienceTechnionHaifaIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-13338-6
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-13337-9
  • Online ISBN 978-3-319-13338-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349