Multi-phase invariant synthesis

Daniel Riley, Grigory Fedyukovich. Multi-phase invariant synthesis. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 607-619, ACM, 2022. [doi]

Abstract

Abstract is missing.