Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

  • Marco Bernardo
  • Alessandro Cimatti
Conference proceedings SFM 2006

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

Table of contents

  1. Front Matter
  2. Nicola Bombieri, Franco Fummi, Graziano Pravadelli
    Pages 1-29
  3. Rolf Drechsler, Görschwin Fey
    Pages 30-55
  4. Koen Claessen, Jan-Willem Roorda
    Pages 56-77
  5. Gianpiero Cabodi, Marco Murciano
    Pages 78-107
  6. Aarti Gupta, Malay K. Ganai, Chao Wang
    Pages 108-143
  7. Alessandro Cimatti, Roberto Sebastiani
    Pages 144-175
  8. Panagiotis Manolios
    Pages 176-210
  9. Back Matter

About these proceedings

Keywords

Automat communication formal method model checking theorem proving verification

Editors and affiliations

  • Marco Bernardo
    • 1
  • Alessandro Cimatti
    • 2
  1. 1.Istituto di Scienze e Tecnologie dell’InformazioneUniversità di Urbino “Carlo Bo”Italy
  2. 2.FBK-IRSTPovoItaly

Bibliographic information

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