Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Abstraction Refinement for Large Scale Model Checking


Add Book to List

Please select a book list

Add
Home / Book / Abstraction Refinement for Large Scale Model Checking


Previews

Amazon Readr

Share this Great Computer eBook

Link to this page

Our Collection

PrevNext


Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Consider both the size of today's digital systems and the capacity of state-verification algorithm-the-art, abstraction is the only viable solution for the successful application of model checking techniques to industrial design scale.

Computer eBook Details

  • ISBN-10: 0387341552
  • ISBN-13: 9780387341552
  • Publisher: Springer
  • Pages: 186
  • Date: July 2006

IT Book Reviews

Computer Ebook Author

IT Book Categories

Book Subject

logic mathematics computing formal methods abstraction (computer science) logic in computer science finite model theory model checking formal equivalence checking

Buy this Book

Borrow or Download eBook

Grab



Crowd@Twitter

afhwank

February 14, 2012, 2:13 pm

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) 8211 Chao Wang Gary D. Hach.. http://t.co/Xu7nVVl0