Abstraction Refinement for Large Scale Model Checking by Chao Wang (English) Pap
129,55 €
A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. Their application to model checking can significantly increase the model checker's ability to handle large designs.
Jetzt bei Ebay:
