株式会社極東書店トップ ＞ 商品一覧 ＞ A Roadmap for Formal Property Verification. 2006 ed.
商品詳細
A Roadmap for Formal Property Verification. 2006 ed.
・ISBN 978-1-4020-4757-2 hard EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Dasgupta, Pallab, |
|---|---|
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2006 |
| ページ数 | 252 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-42055＞ |
解説
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples - you do not need any background on formal methods to read most parts of this book.