DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols Sep. 01, 2021Published in OSDI, 2021