Semantic Scholar

I3DP: Neuro-Symbolic Inductive Invariant Inference for Distributed Protocols

作者：Wei-Ning Cao, Guang-Yuan Wu, Yuan Yao, Heng-Feng Wei, Taolue Chen, Xiao-Xing Ma

🔗 https://www.semanticscholar.org/paper/b2cdbb84da1eee370c9e032e0e167278e9fcb4f5 ↗

I3DP: Neuro-Symbolic Inductive Invariant Inference for Distributed Protocols.

內容為收集當日抓取的摘要原文。