Invariant Inference with Provable Complexity from the Monotone Theory.

Yotam M. Y. Feldman, Sharon Shoham

Browse the full SAS paper archive.