Scan barcode
224 pages • missing pub info (editions)
ISBN/UID: 9781441980335
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 03 December 2010
Description
The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodo...
Community Reviews
Content Warnings
224 pages • missing pub info (editions)
ISBN/UID: 9781441980335
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 03 December 2010
Description
The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodo...