DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols

Title{DuoAI}: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
Publication TypeConference Paper
Year of Publication2022
AuthorsYao J, Tao R, Gu R, Nieh J
Conference Name16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)
Date Published07/2022
PublisherUSENIX Association
Conference LocationCarlsbad, CA
ISBN Number978-1-939133-28-1
URLhttps://www.usenix.org/conference/osdi22/presentation/yao