UID:
almahu_9947364064502882
Format:
VIII, 244 p.
,
online resource.
ISBN:
9783540343059
Series Statement:
Lecture Notes in Computer Science, 3965
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540343042
Language:
English
URL:
http://dx.doi.org/10.1007/11757283
