Abstraction Refinement for Large Scale Model Checking Book uri icon

Overview

abstract

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

publication date

  • September 15, 2006

Full Author List

  • Wang C; Hachtel GD; Somenzi F

Other Profiles

International Standard Book Number (ISBN) 13

  • 9780387346007