摘要
PDF章节
工具书类
Ermis,E.,Hoenicke,J.,Podelski,A.:通过插值分裂。 收录人:Kuncak,V.,Rybalchenko,A.(编辑)VMCAI 2012。 LNCS,第7148卷,第186-201页。 斯普林格,海德堡(2012) Heizmann,M.、Hoenike,J.、Podelski,A.:嵌套插值。 摘自:Hermenegildo,M.V.,Palsberg,J.(编辑)POPL,第471-482页。 ACM(2010) Christ,J.,Hoenicke,J.:将保护证明树的插值扩展到序列和树(正在进行中)。 摘自:SMT研讨会,第72-86页(2013年) Beyer,D.,Cimatti,A.,Griggio,A.,Erkan Keremoglu,M.,Sebastiani,R.:通过大块编码进行软件模型检查。 收录于:FMCAD,第25-32页。 IEEE(2009) Musa,B.:具有不可满足核的跟踪抽象。 德国弗莱堡大学学士论文(2013)
作者信息
作者和附属机构
编辑器信息
编辑和附属机构
权利和权限
版权信息
关于本论文
引用本文
下载引文
内政部 : https://doi.org/10.1007/978-3-642-54862-8_36 发布者名称 : 施普林格、柏林、海德堡 打印ISBN : 978-3-642-54861-1 在线ISBN : 978-3-642-54862-8