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

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 / edited by Marco Bernardo, Alessandro Cimatti.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bernardo, Marco (Editor), Cimatti, Alessandro (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Programming and Software Engineering ; 3965
Springer eBook Collection.
Subjects:
Computers.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Special purpose computers.
Computer communication systems.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Hardware Design and Simulation for Verification
  • Automatic Test Pattern Generation
  • An Introduction to Symbolic Trajectory Evaluation
  • BDD-Based Hardware Verification
  • SAT-Based Verification Methods and Applications in Hardware Verification
  • Building Efficient Decision Procedures on Top of SAT Solvers
  • Refinement and Theorem Proving
  • Floating-Point Verification Using Theorem Proving.

Similar Items