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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Drechsler, Rolf (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: 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...

Πίνακας περιεχομένων:

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