Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Zenodo (CERN European Organization for Nuclear Research)(2018)
关键词
decidability,deductive verification,systems
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要