Advertisement

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

  9. Protocol Verification

  10. Short Papers 2

    1. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
      Pages 277-282
  11. Theorem Proving

    1. J Strother Moore
      Pages 289-303
    2. Warren A. Hunt Jr., Robert Bellarmine Krug, J. Moore
      Pages 319-333
  12. Bounded Model Checking

    1. Malay K Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
      Pages 334-347
    2. Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
      Pages 348-362
    3. Michael Langberg, Amir Pnueli, Yoav Rodeh
      Pages 363-377
  13. Model Checking and Application

    1. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
      Pages 394-409
    2. Subramanian Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain
      Pages 410-424
  14. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications