Property Directed Self Composition.

Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel

Browse the full CAV paper archive.