张洪策;阿尔蒂·古普塔;沙拉德·马利克 硬件模型检查中用于生成引理的语法引导合成。 (英语) 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) 全文: 内政部
佩克,劳伦;格里戈里·费迪尤科维奇;阿尔蒂·古普塔 来自有边界环境的无边界过程摘要。 (英语) Zbl 1472.68093号 Henglein,Fritz(编辑)等人,《验证、模型检验和抽象解释》。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12597, 291-324 (2021).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Pick}等人,Lect。注释计算。科学。12597,291--324(2021;Zbl 1472.68093) 全文: 内政部
直纪小林;格里戈里·费迪尤科维奇;阿尔蒂·古普塔 固定点逻辑的折叠/展开转换。 (英语) Zbl 1483.68196号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12079, 195-214 (2020).MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}等人,Lect。注释计算。科学。12079、195--214(2020;Zbl 1483.68196) 全文: 内政部
阿尔蒂·古普塔;卡隆,葡萄园;沙兹·卡迪尔;泰瑟·图利 模型检查并发程序。 (英语) 兹比尔1392.68251 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。573-611(2018年)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}等人,in:模型检查手册。查姆:斯普林格。573--611(2018;Zbl 1392.68251) 全文: 内政部
王超;杨瑜(Yang,Yu);阿尔蒂·古普塔;加内什·戈帕拉克里什南 使用属性驱动剪枝进行动态模型检查以检测竞争条件。 (英语) Zbl 1183.68383号 Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿531126-140(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}等人,Lect。注释计算。科学。5311、126--140(2008年;Zbl 1183.68383) 全文: 内政部
弗兰乔·伊万契奇;杨子江;马来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) 全文: 内政部