Inferring Inductive Invariants from Phase Structures.

Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv

Browse the full CAV paper archive.