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...