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 / [electronic resource] : edited by Marco Bernardo, Alessandro Cimatti. - 1st ed. 2006. - VIII, 244 p. online resource. - Programming and Software Engineering, 3965 2945-9168 ; . - Programming and Software Engineering, 3965 .

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.

9783540343059

10.1007/11757283 doi


Computer science.
Software engineering.
Compilers (Computer programs).
Computers, Special purpose.
Computer networks .
Theory of Computation.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Communication Networks.

QA75.5-76.95

004.0151