Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Books - Springer-Verlag New York Inc. - 9780387341552 - July 20, 2006
In case cover and title do not match, the title is correct

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Price
$ 122.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 2 - 14, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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     Hardcover Book   (Book with hard spine and cover)
Released July 20, 2006
ISBN13 9780387341552
Publishers Springer-Verlag New York Inc.
Pages 179
Dimensions 155 × 235 × 12 mm   ·   467 g

More by Chao Wang

Show all

See all of Chao Wang ( e.g. Hardcover Book and Paperback Book )