Towards Complete Specifications with an Error Calculus.Quang Loc Le,Asankhaya Sharma,Florin Craciun,Wei-Ngan ChinNASA Formal Methods(2013)引用 18|浏览29暂无评分关键词Program State, Error Localization, Proof Obligation, Program Point, Lattice DomainAI 理解论文溯源树样例生成溯源树,研究论文发展脉络