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

Date in CU Experts

• April 17, 2014 2:27 AM

Full Author List

• Wang C; Hachtel GD; Somenzi F

author count

• 3

Other Profiles

International Standard Book Number (ISBN) 10

• 0387346007

International Standard Book Number (ISBN) 13

• 9780387346007