尼娜·阿姆拉;肯尼思·麦克米兰。 结合抽象精化和基于SAT的模型检查。 (英语) Zbl 1186.68274号 Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424405-419(2007)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Amla}和\textit{K.L.McMillan},莱克特。注释计算。科学。4424405--419(2007年;Zbl 1186.68274) 全文: 内政部
尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。 工业环境中基于sAT的模型检查技术分析。 (英语) Zbl 1159.68307号 Borrione,Dominique(编辑)等人,《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议,CHARME 2005,德国萨尔布吕肯,2005年10月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29105-9/pbk)。计算机科学课堂讲稿3725,254-268(2005)。MSC公司:2007年7月68日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Amla}等人,Lect。注释计算。科学。37254-268(2005年;Zbl 1159.68307) 全文: 内政部
尼娜·阿姆拉;Ken L.麦克米兰。 基于反例和基于证明的抽象的混合。 (英语) Zbl 1117.68420号 Hu,Alan J.(编辑)等,《计算机辅助设计中的形式化方法》。2004年11月15日至17日,第五届国际会议,FMCAD 2004,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23738-0/pbk)。计算机科学课堂讲稿3312260-274(2004)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Amla}和\textit{K.L.McMillan},莱克特。注释计算。科学。3312260-274(2004年;Zbl 1117.68420) 全文: 内政部
尼娜·阿姆拉;罗伯特·库尔珊;肯尼思·麦克米兰。;里卡多·梅德尔 不同有界模型检查技术的实验分析。 (英语) Zbl 1031.68541号 Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 34-48 (2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Amla}等人,Lect。注释计算。科学。2619,34-48(2003;Zbl 1031.68541) 全文: 链接