Correct Hardware Design and Verification Methods

13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

  • Dominique Borrione
  • Wolfgang Paul
Conference proceedings CHARME 2005

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Tutorial

    1. Thomas In der Rieden, Dirk Leinenbach, Wolfgang Paul
      Pages 3-4
  4. Functional Approaches to Design Description

    1. Emil Axelsson, Koen Claessen, Mary Sheeran
      Pages 5-19
    2. Warren A. Hunt Jr., Erik Reeber
      Pages 20-34
  5. Game Solving Approaches

    1. Stefan Staber, Barbara Jobstmann, Roderick Bloem
      Pages 35-49
    2. Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
      Pages 50-64
  6. Abstraction

    1. Arie Gurfinkel, Marsha Chechik
      Pages 65-80
    2. Liang Zhang, Mukul R. Prasad, Michael S. Hsiao
      Pages 81-96
  7. Algorithms and Techniques for Speeding (DD-Based) Verification 1

  8. Real Time and LTL Model Checking

    1. Leslie Lamport
      Pages 162-175
    2. Hana Chockler, Kathi Fisler
      Pages 176-190
    3. Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi
      Pages 191-206
  9. Algorithms and Techniques for Speeding Verification 2

About these proceedings

Keywords

Hardware algorithm algorithms model model checking verification

Editors and affiliations

  • Dominique Borrione
    • 1
  • Wolfgang Paul
    • 2
  1. 1.TIMA LaboratoryVDS GroupGrenobleFrance
  2. 2.Computer Science Dept.Saarland UniversitySaarbrückenGermany

Bibliographic information

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