PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.
LPAR(2013)
关键词
Model Check, Symbolic Model Check, Bound Model Check, Function Summary, Resolution Proof
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要
LPAR(2013)