Amazon cover image
Image from Amazon.com

Formal system verification : state-of the-art and future trends Edited by Rolf Drechsler

Contributor(s): Material type: TextTextPublication details: Cham, Switzerland : Springer, 2018.Description: xvi, 182 p. 71 illus., 49 illus. in color. 24 cmISBN:
  • 9783319576831
Subject(s): DDC classification:
  • 005.14 FO RM
Online resources: Summary: 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). The authors demonstrate different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode
REGULAR University of Wollongong in Dubai Main Collection 005.14 FO RM (Browse shelf(Opens below)) Available Nov2019 T0062524

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). The authors demonstrate different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.

There are no comments on this title.

to post a comment.