Inductive Invariant Generation via Abductive Inference (2013)

by I Dillig, T Dillig, B Li, K McMillan
Venue:SIGPLAN Notices