Advertisement

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

Industry Sectors
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering