E-Book, Englisch, 244 Seiten, eBook
Bernardo / Cimatti Formal Methods for Hardware Verification
2006
ISBN: 978-3-540-34305-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
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
E-Book, Englisch, 244 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-540-34305-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.