Formal System Verification State-of the-Art and Future Trends /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Drechsler, Rolf (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Electronic circuits.; Microprocessors.; Electronics.; Microelectronics.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level...

Table of Contents:

• Formal Techniques for Verification and Coverage Analysis of Analog Systems
• Verification of Incomplete Designs
• Probabilistic Model Checking: Advances and Applications
• Software in a Hardware View
• Formal Verification - The Industrial Perspective.