Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

[摘要]：Divide-and-conquer is essential to address state explosion in model checking. Verifying each individual component in a system, in isolation, efficiently requires an appropriate context, which traditionally is obtained by hand. This paper presents an effic

[全文传递流程]：

一般上传文献全文的时限在1个工作日内