DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols

Title{DistAI}: {Data-Driven} Automated Invariant Learning for Distributed Protocols
Publication TypeConference Paper
Year of Publication2021
AuthorsYao J, Tao R, Gu R, Nieh J, Jana S, Ryan G
Conference Name15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)
Date Published07/2021
PublisherUSENIX Association
ISBN Number978-1-939133-22-9
URLhttps://www.usenix.org/conference/osdi21/presentation/yao