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
1. Auflage 2006
ISBN: 978-3-540-34304-2
Verlag: Springer

Buch, Englisch, Band 3965, 244 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 800 g

Reihe: Lecture Notes in Computer Science

This book presents 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). 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, and more.

Zielgruppe

Research

Autoren/Hrsg.

Bernardo, Marco

Cimatti, Alessandro

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
• Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie

Inhaltsverzeichnis

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.