Global Guidance for Local Generalization in Model Checking.

Hari Govind Vediramana Krishnan, Yuting Chen, Sharon Shoham, Arie Gurfinkel

Browse the full CAV paper archive.