Venue. HotOS Workshop on Hot Topics in Operating Systems · Workshop · ACM 2019 Towards Automatic Inference of Inductive Invariants ma-2019-towardsHotOS · 2019 DOI