Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah. Towards Automatic Inference of Inductive Invariants. In Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019. pages 30-36, ACM, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.