查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特 差异：使用差分不变量对数组程序进行归纳推理。 （英语） Zbl 1493.68101号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 911-935 (2021).MSC公司：68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人，Lect。注释计算。科学。12760、911--935（2021；Zbl 1493.68101） 全文： 内政部 arXiv公司 OA许可证
查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特 用全程序归纳法验证数组操作程序。 （英语） Zbl 1507.68082号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 22-39 (2020).MSC公司：68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人，Lect。注释计算。科学。12078，22-39（2020；Zbl 1507.68082） 全文： 内政部 arXiv公司 OA许可证