尼尔·皮特曼;阿米尔·普努利 时间逻辑和公平离散系统。 (英语) Zbl 1392.68263号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。27-73 (2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Piterman}和\textit{A.Pnueli},in:模型检查手册。查姆:斯普林格。27-73(2018;Zbl 1392.68263) 全文: 内政部
奥尔纳·库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 一次和为所有人. (英语) Zbl 1245.03022号 J.计算。系统。科学。 78,第3期,981-996(2012).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《计算杂志》。系统。科学。78,第3号,981-996(2012;Zbl 1245.03022) 全文: 内政部
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) Zbl 1247.68050号 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
伊塔·巴拉班;阿米尔·普努利;亚尼夫·萨阿尔;Lenore D.扎克。 验证多链接堆。 (英语) Zbl 1246.68093号 J.计算。系统。科学。 78,编号3,853-876(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,J.Compute。系统。科学。78,第3号,853--876(2012;Zbl 1246.68093) 全文: 内政部
伊塔·巴拉班;阿米尔·普努利;Lenore D.扎克。 证明被反驳:符号模型检查器作为证明生成器。 (英语) Zbl 1274.68174号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿5930,221-236(2010)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,Lect。注释计算。科学。5930、221--236(2010年;Zbl 1274.68174) 全文: 内政部
彼得·尼伯特;多龙·贝利德;阿米尔·普努利 鉴别模型检查。 (英语) Zbl 1155.68444号 Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学课堂讲稿5123,504-516(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Niebert}等人,Lect。注释计算。科学。5123、504--516(2008年;Zbl 1155.68444) 全文: 内政部
凯斯滕,约尼特;阿米尔·普努利;利奥·拉维夫;伊拉德·沙哈尔 模型检查具有很强的公平性。 (英语) Zbl 1100.68066号 形式方法系统。设计。 28,第1期,57-84(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《形式方法系统》。设计。28,第1号,57--84(2006;Zbl 1100.68066) 全文: 内政部
尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 缩小公平模拟和跟踪包含之间的差距。 (英语) Zbl 1082.68055号 Inf.计算。 200,第1期,35-61(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《信息计算》。200,编号1,35--61(2005;Zbl 1082.68055) 全文: 内政部 链接
勒诺尔·扎克;阿米尔·普努利 借助参数化系统进行模型检查和抽象(调查)。 (英语) Zbl 1072.68069号 计算。语言系统。结构。 30,第3-4139-169号(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}和\textit{A.Pnueli},计算。语言系统。结构。30,编号3--4,139-169(2004;Zbl 1072.68069) 全文: 内政部
凯斯滕,约尼特;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证:自动机理论视图。 (英语) Zbl 0983.68109号 J.计算。系统。科学。 62,第4期,668-690(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《计算杂志》。系统。科学。62,第4号,668--690(2001;Zbl 0983.68109) 全文: 内政部
Y.Kesten。;O.马勒。;马库斯,M。;A.普努利。;沙哈尔,E。 使用丰富的断言语言进行符号模型检查。 (英语) Zbl 0973.68119号 西奥。计算。科学。 256,编号1-2,93-112(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,Theor。计算。科学。256,编号1--2,93-112(2001;Zbl 0973.68119) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利 通过增强有限抽象进行验证。 (英语) Zbl 1003.68069号 Inf.计算。 163,第1期,203-243(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}和\textit{A.Pnueli},Inf.计算。163,编号1,203--243(2000;Zbl 1003.68069) 全文: 内政部 链接
Y.Kesten。;A.普努利。;J.西法基斯。;尤文,S。 可判定的集成图。 (英语) 兹比尔1045.68566 Inf.计算。 150,第2期,209-243(1999).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《信息计算》。150,第2号,209--243(1999;Zbl 1045.68566) 全文: 内政部 链接
多龙·贝利德;阿米尔·普努利 证明部分顺序属性。 (英语) Zbl 0803.68070号 西奥。计算。科学。 126,第2143-182号(1994年).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{A.Pnueli},Theor。计算。科学。126,第2号,143--182(1994;Zbl 0803.68070) 全文: 内政部