Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

  • Editors
  • Karen Yorav
Conference proceedings HVC 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4899)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. HVC Award

    1. Corina S. Păsăreanu, Willem Visser
      Pages 17-18
  4. Hardware Verification

    1. Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta
      Pages 34-50
  5. Model Checking

    1. Ales Smrčka, Tomás Vojnar
      Pages 51-68
    2. David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan Zapreev
      Pages 69-85
  6. Dynamic Hardware Verification

  7. Merging Formal and Testing

    1. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore Zuck
      Pages 120-135
    2. Harald Raffelt, Bernhard Steffen, Tiziana Margaria
      Pages 136-152
  8. Formal Verification for Software

    1. Mark A. Hillebrand, Wolfgang J. Paul
      Pages 153-168
    2. Domagoj Babić, Alan J. Hu
      Pages 169-184
    3. Gérard Basler, Daniel Kroening, Georg Weissenbacher
      Pages 202-217
  9. Software Testing

    1. Dor Nir, Shmuel Tyszberowicz, Amiram Yehudai
      Pages 218-234
    2. Orna Raz, Moshe Klausner, Nitzan Peleg, Gad Haber, Eitan Farchi, Shachar Fienblit et al.
      Pages 235-251

About these proceedings

Keywords

SAT-based verification algorithms algorithms automata classification of hardware bugs concurrency tes design for verifiability equivalence checking formal verification formal verification methods high-level stimuli generation model checking semantics simulation-based verification static analysis verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-77966-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-77964-3
  • Online ISBN 978-3-540-77966-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book