UID:
almahu_9949972640202882
Format:
VIII, 244 p.
,
online resource.
Edition:
1st ed. 2006.
ISBN:
9783540343059
Series Statement:
Programming and Software Engineering, 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 Nature eBook
Additional Edition:
Printed edition: ISBN 9783540343042
Additional Edition:
Printed edition: ISBN 9783540824114
Language:
English
URL:
https://doi.org/10.1007/11757283
Bookmarklink
