Abstraction Refinement for Large Scale Model Checking by Chao Wang (English) Har
115,10 €
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:
