Category Archives: Abstraction

Abstraction Refinement for Large Scale Model Checking free pdf

Abstraction Refinement for Large Scale Model Checking

Description of the pdf free download ebook:

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Continue reading