@inproceedings{ma-2019-towards, series={HotOS ’19}, title={Towards Automatic Inference of Inductive Invariants}, url={http://dx.doi.org/10.1145/3317550.3321451}, DOI={10.1145/3317550.3321451}, booktitle={Proceedings of the Workshop on Hot Topics in Operating Systems}, publisher={ACM}, author={Ma, Haojun and Goel, Aman and Jeannin, Jean-Baptiste and Kapritsos, Manos and Kasikci, Baris and Sakallah, Karem A.}, year={2019}, month=May, pages={30–36}, collection={HotOS ’19} }