Correct Hardware Design and Verification Methods

12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings

  • Daniel Geist
  • Enrico Tronci
Conference proceedings CHARME 2003

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Tutorial

  4. Software Verification

  5. Processor Verification

    1. Sven Beyer, Chris Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
      Pages 51-65
    2. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind
      Pages 81-95
  6. Automata Based Methods

    1. Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi
      Pages 96-110
    2. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
      Pages 111-125
  7. Short Papers 1

    1. Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer
      Pages 141-149
    2. Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione
      Pages 150-157
    3. Husam Abu-Haimed, Sergey Berezin, David L. Dill
      Pages 158-163
    4. Cédric Roux, Emmanuelle Encrenaz
      Pages 164-169
  8. Specification Methods

About these proceedings

Keywords

Augmented Reality Automat Hardware automata proving software verification theorem proving verification

Editors and affiliations

  • Daniel Geist
    • 1
  • Enrico Tronci
    • 2
  1. 1.IBM Haifa Research Lab.Haifa UniversityMount Carmel HaifaIsrael
  2. 2.Dipartimento di InformaticaUniversità di Roma “La Sapienza”RomaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/b93958
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20363-6
  • Online ISBN 978-3-540-39724-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book