张洪策;阿尔蒂·古普塔;沙拉德·马利克 硬件模型检查中用于生成引理的语法引导合成。 (英语) Zbl 1472.68096号 Henglein,Fritz(编辑)等人,《验证、模型检验和抽象解释》。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12597, 325-349 (2021).MSC公司:60年第68季度 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}等人,Lect。注释计算。科学。12597,325--349(2021;Zbl 1472.68096) 全文: 内政部
王超;Sudipta昆都;利马耶·里希克什;马来加奈;阿尔蒂·古普塔 并发程序的符号预测分析。 (英语) Zbl 1242.68187号 正式Asp。计算。 23,第6号,781-805(2011).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}等人,正式Asp。计算。23,第6号,781--805(2011;Zbl 1242.68187) 全文: 内政部
弗兰乔·伊万契奇;杨紫江;马来K·加奈。;阿尔蒂·古普塔;普拉纳夫·阿沙尔 用于软件验证的高效SAT有界模型检查。 (英语) Zbl 1293.68079号 西奥。计算。科学。 404,第3期,256-274(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Ivanć}等人,Theor。计算。科学。404,编号35256-274(2008年;兹bl 1293.68079) 全文: 内政部