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, Advanced Lectures cover image

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, Advanced Lectures

By Nicola Bombieri, Franco Fummi (auth.), Marco Bernardo, Alessandro Cimatti (eds.)
pdf
Format
2006
Year
English
Language
Springer-Verlag Berlin Heidelberg
Publisher

Summary

<P>This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2006, held in Bertinoro, Italy in May 2006.</P><P></P><P>SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, BDD-based and SAT-based model checking, decision procedures, refinement, theorem proving, and the verification of floating point units.</P>

Related books


Others
Advanced Software Testing, Vol. 3: Guide to the ISTQB Advanced Certification as an Advanced Technical Test Analyst
Jamie L Mitchell, Rex Black
Others
Advanced Software Testing - Vol. 3, 2nd Edition: Guide to the ISTQB Advanced Certification as an Advanced Technical Test Analyst
Jamie L Mitchell, Rex Black
Others
Advances in Aerospace Systems Dynamics and Control Systems: Advances in Theory and Applications : Advances in Aerospace Systems Dynamics and Control Systesm, Part 2 of 3
Cornelius T. Leondes
Others
AdvancED Flash Interface Design (Advanced Design)
Guido Rosso, Brian Monnone, Michael Kemper
Others
Advanced Technologies in Biodiesel: New Advances in Designed and Optimized Catalysts
Aminul Islam
Others
Advances in Chemical Physics, Advances in Chemical Physics (Volume 156)
Stuart A. Rice, Aaron R. Dinner