Abstraction Refinement for Large Scale Model Checking Book

Overview

abstract

• This book summarizes research on abstraction techniques for model checking large digital system.

CU Boulder Authors

• Somenzi, Fabio

publication date

• September 15, 2006

Full Author List

• Wang C; Hachtel GD; Somenzi F

Other Profiles

International Standard Book Number (ISBN) 13

• 9780387346007