Tell your friends about this item:
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems Chao Wang 2006 edition
Price
$ 117.99
excl. VAT
Ordered from remote warehouse
Expected delivery Jan 5 - 15, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Also available as:
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems
Chao Wang
This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.
179 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 6, 2014 |
| ISBN13 | 9781489993953 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 179 |
| Dimensions | 155 × 235 × 11 mm · 281 g |
| Language | English |
![Cover for Chao Wang · Combined Measure and Shift Invariance Theory of Time Scales and Applications - Developments in Mathematics (Paperback Book) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/216/9783031116216.jpg?chao-wang-2023-combined-measure-and-shift-invariance-theory-of-time-scales-and-applications-developments-in-mathematics-paperback-book&class=scaled&v=1749435120)
![Cover for Chao Wang · Combined Measure and Shift Invariance Theory of Time Scales and Applications - Developments in Mathematics (Hardcover Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/186/9783031116186.jpg?chao-wang-2022-combined-measure-and-shift-invariance-theory-of-time-scales-and-applications-developments-in-mathematics-hardcover-book&class=scaled&v=1694493353)
![Cover for Chao Wang · Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales - Synthesis Lectures on Mathematics & Statistics (Hardcover Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/355/9783031112355.jpg?chao-wang-2022-dynamic-equations-and-almost-periodic-fuzzy-functions-on-time-scales-synthesis-lectures-on-mathematics-statistics-hardcover-book&class=scaled&v=1694493353)
![Cover for Chao Wang · Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations (Paperback Book) [2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/069/9783030434069.jpg?chao-wang-2021-theory-of-translation-closedness-for-time-scales-with-applications-in-translation-functions-and-dynamic-equations-paperback-book&class=scaled&v=1620189829)
![Cover for Chao Wang · Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations - Developments in Mathematics (Hardcover Book) [2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/436/9783030386436.jpg?chao-wang-2020-theory-of-translation-closedness-for-time-scales-with-applications-in-translation-functions-and-dynamic-equations-developments-in-mathematics-hardcover-book&class=scaled&v=1649383338)