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
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