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

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

Published: 01 Jan 2022, Last Modified: 15 May 2023OSDI 2022Readers: Everyone
0 Replies