MOCHA: Modularity in Model Checking.

Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran

Browse the full CAV paper archive.