TY  - RPRT
TI  - Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
AU  - Weining Cao
AU  - Guangyuan Wu
AU  - Yuan Yao
AU  - Hengfeng Wei
AU  - Taolue Chen
AU  - Xiaoxing Ma
PY  - 2026
UR  - https://arxiv.org/abs/2605.24619
ID  - 2605.24619
ER  -