@inproceedings {280868, author = {Jianan Yao and Runzhou Tao and Ronghui Gu and Jason Nieh}, title = {{DuoAI}: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols}, booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)}, year = {2022}, isbn = {978-1-939133-28-1}, address = {Carlsbad, CA}, pages = {485--501}, url = {https://www.usenix.org/conference/osdi22/presentation/yao}, publisher = {USENIX Association}, month = jul }