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
Title:
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
ISBN:
9783540343059
Edition:
1st ed. 2006.
Publication Information New:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Physical Description:
VIII, 244 p. online resource.
Series:
Programming and Software Engineering, 3965
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.
Subject Term:
Added Corporate Author:
Electronic Access:
Full Text Available From Springer Nature Computer Science 2006 Packages
Language:
English