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

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

Browse the full OSDI paper archive.