DuoAI: Fast, automated inference of inductive invariants for verifying distributed protocols

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
July, 2022
PDF Code
Type
Conference paper
Publication
OSDI 2022
Jianan Yao
Jianan Yao
Ph.D. Candidate in Computer Science

Not used.