Skip to main content
SpringerLink
Log in
Book cover

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, Advances Lectures

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Marco Bernardo

    1. Istituto di Scienze e Tecnologie dell’Informazione, Università di Urbino “Carlo Bo”, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alessandro Cimatti

    1. FBK-IRST, Povo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SFM 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 papers)

  1. Front Matter

    Download chapter PDF

  2. Hardware Design and Simulation for Verification

    • Nicola Bombieri, Franco Fummi, Graziano Pravadelli
    Pages 1-29

  3. Automatic Test Pattern Generation

    • Rolf Drechsler, Görschwin Fey
    Pages 30-55

  4. An Introduction to Symbolic Trajectory Evaluation

    • Koen Claessen, Jan-Willem Roorda
    Pages 56-77

  5. BDD-Based Hardware Verification

    • Gianpiero Cabodi, Marco Murciano
    Pages 78-107

  6. SAT-Based Verification Methods and Applications in Hardware Verification

    • Aarti Gupta, Malay K. Ganai, Chao Wang
    Pages 108-143

  7. Building Efficient Decision Procedures on Top of SAT Solvers

    • Alessandro Cimatti, Roberto Sebastiani
    Pages 144-175

  8. Refinement and Theorem Proving

    • Panagiotis Manolios
    Pages 176-210

  9. Floating-Point Verification Using Theorem Proving

    • John Harrison
    Pages 211-242

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Hardware Verification

Keywords

Editors and Affiliations

  • Istituto di Scienze e Tecnologie dell’Informazione, Università di Urbino “Carlo Bo”, Italy

    Marco Bernardo

  • FBK-IRST, Povo, Italy

    Alessandro Cimatti

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation