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

Formal System Verification: State-of the-Art and Future Trends 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 (RTL). Wydawnictwo: Springer Rok wydania: 2018 Okładka: miękka Liczba stron: 182 Wymiary: 23.5 x 15.5 cm Ilustracje: 49 Illustrations, color; 22 Illustrations, black and white Język: angielski ISBN: 9783319862231