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

List of contents

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.

Product details

• Assisted by: Marco Bernardo (Editor), Alessandro Cimatti (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 15.05.2006
• EAN: 9783540343042
• ISBN: 978-3-540-34304-2
• No. of pages: 244
• Weight: 368 g
• Illustrations: VIII, 244 p.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, computer science, Theory of Computation, Logics and Meanings of Programs, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Computers, Mathematical theory of computation, Computer programming / software engineering, Expert systems / knowledge-based systems, Computer architecture & logic design, Computer communication systems, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Network hardware, Special purpose computers, Special Purpose and Application-Based Systems, Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters