Scan barcode
314 pages • first pub 1999 (editions)
ISBN/UID: 9780262032704
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 20 December 1999
Description
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deduct...
Community Reviews Summary of 1 rating
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
314 pages • first pub 1999 (editions)
ISBN/UID: 9780262032704
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 20 December 1999
Description
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deduct...
Community Reviews Summary of 1 rating
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.