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

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