哈达尔·弗兰克尔;奥尔纳·格伦伯格;巴特·陈·罗森伯格;莎莱·申瓦尔德 使用正式验证技术自动修复程序。 (英语) Zbl 1528.68079号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 511-534 (2022).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Frenkel}等人,Lect。注释计算。科学。13660511-534(2022年;兹比尔1528.68079) 全文: 内政部
哈达尔·弗兰克尔;奥尔纳·格伦伯格;科琳娜·帕萨雷努;莎莱·申瓦尔德 承担、保证或修理。 (英语) Zbl 1507.68186号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 211-227 (2020).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Frenkel}等人,Lect。注释计算。科学。12078211-227(2020年;兹比尔1507.68186) 全文: 内政部
哈达尔·弗兰克尔;奥尔纳·格伦伯格;莎莱·申瓦尔德 一种自动机理论方法,用于无限数据域上的模型检查系统和规范。 (英语) 兹比尔1468.68128 J.汽车。推理 63,第4期,1077-1101(2019).MSC公司:60年第68季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Frenkel}等人,J.Autom。推理63,第4期,1077-1101(2019;兹bl 1468.68128) 全文: 内政部
卡拉姆Abd Elkader;奥尔纳·格伦伯格;Păsăreanu,科琳娜·s。;沙龙·肖姆 自动循环假设保证推理。 (英语) Zbl 1395.68184号 正式Asp。计算。 30,第5期,571-595(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Abd Elkader}等人,正式Asp。计算。30,编号5751-595(2018;兹bl 1395.68184) 全文: 内政部
亲爱的,丹尼斯;奥尔纳·格伦伯格 抽象和抽象细化。 (英语) 兹比尔1392.68244 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。385-419 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}和\textit{O.Grumberg},在:模型检查手册中。查姆:斯普林格。385--419(2018;Zbl 1392.68244) 全文: 内政部
耶尔·梅勒;奥尔纳·格伦伯格;沙龙·肖姆 通过抽象再定义对多值系统进行组合验证的框架。 (英语) Zbl 1336.68166号 Inf.计算。 247, 169-202 (2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Meller}等人,《信息计算》。247169-202(2016;Zbl 1336.68166) 全文: 内政部
卡拉姆·阿布德·埃尔卡德;奥尔纳·格伦伯格;Păsăreanu,科琳娜·s。;沙龙·肖姆 自动循环假设保证推理。 (英语) Zbl 1427.68194号 Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9109, 23-39 (2015).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Elkader}等人,Lect。注释计算。科学。9109,23-39(2015;Zbl 1427.68194) 全文: 内政部
沙龙·肖姆;奥尔纳·格伦伯格 合成验证和3值抽象结合在一起。 (英语) Zbl 1191.68416号 Inf.计算。 208,第2期,178-202(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Shoham}和\textit{O.Grumberg},Inf.Comput。208,第2号,178--202(2010;Zbl 1191.68416) 全文: 内政部
希曼舒·杰恩;埃德蒙·克拉克(Edmund M.Clarke)。;奥尔纳·格伦伯格 线性丢番图方程和线性模方程的有效Craig插值。 (英语) Zbl 1186.68013号 形式方法系统。设计。 35,第1期,6-39页(2009年).MSC公司:2007年7月68日 60年第68季度 2004年11月 PDF格式BibTeX公司 XML格式引用 \textit{H.Jain}等人,《形式方法系统》。设计。35,第1号,第6--39号(2009;Zbl 1186.68013) 全文: 内政部 链接
哈娜·乔克勒;奥尔纳·格伦伯格;亚维·亚德加 使用责任制高效自动STE细化。 (英语) Zbl 1134.68401号 Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008,是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。《计算机科学讲义》4963323-248(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,莱克特。注释计算。科学。4963、233--248(2008年;Zbl 1134.68401) 全文: 内政部
奥尔纳·格伦伯格;阿萨夫·舒斯特;亚维·亚德加 STE的3值电路SAT,具有自动细化功能。 (英语) Zbl 1141.68467号 Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762457-473(2007)。MSC公司:60年第68季度 68吨15 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,Lect。注释计算。科学。4762、457--473(2007年;Zbl 1141.68467) 全文: 内政部
奥尔纳·格伦伯格;马丁·兰格;马丁·勒克;沙龙·肖姆 不输胜于赢:完整微积分的抽象和精化。 (英语) Zbl 1306.68100号 Inf.计算。 205,第8期,1130-1148(2007).MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《信息计算》。205,第8号,1130--1148(2007;Zbl 1306.68100) 全文: 内政部
菲克斯,利莫;奥尔纳·格伦伯格;阿蒙·海曼;泰米尔·海曼;阿萨夫·舒斯特 使用100种及以上工艺验证超大工业电路。 (英语) Zbl 1107.68428号 发现的国际期刊。计算。科学。 18,第1号,45-61(2007).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Fix}等人,发现国际期刊。计算。科学。18,第1号,45--61(2007;Zbl 1107.68428) 全文: 内政部
奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 一种有效的可达性分析分布式算法。 (英语) Zbl 1110.68075号 形式方法系统。设计。 29,第2期,157-175(2006).MSC公司:60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《表格方法系统》。设计。29,第2号,157--175(2006;Zbl 1110.68075) 全文: 内政部
莎伦·巴纳;奥尔纳·格伦伯格 结合对称约简和欠近似进行符号模型检查。 (英语) 兹比尔1085.68086 形式方法系统。设计。 27,编号1-2,29-66(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Barner}和\textit{O.Grumberg},表格方法系统。设计。27,编号1--2,29-66(2005;Zbl 1085.68086) 全文: 内政部
奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 用于\(\mu\)-演算的分布式符号模型检查。 (英语) Zbl 1083.68069号 形式方法系统。设计。 26,第2期,197-219(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《形式方法系统》。设计。26,第2号,197--219(2005;Zbl 1083.68069) 全文: 内政部
多龙·布斯坦;奥尔纳·格伦伯格 公平模拟的适用性。 (英语) Zbl 1070.68089号 Inf.计算。 194,第1期,第1-18页(2004年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bustan}和\textit{O.Grumberg},Inf.Comput。194,第1号,1--18(2004;Zbl 1070.68089) 全文: 内政部
Karen约拉夫;奥尔纳·格伦伯格 序列程序的语法导向模型检查。 (英语) Zbl 1008.68075号 J.日志。阿尔盖布。程序。 52-53, 129-162 (2002).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Yorav}和\textit{O.Grumberg},J.Log。阿尔盖布。程序。52-53、129-162(2002年;Zbl 1008.68075) 全文: 内政部
德莱昂,哈娜;奥尔纳·格伦伯格 用于验证实时分布式系统的模块化抽象。 (英语) Zbl 0774.68080号 形式方法系统。设计。 2,第1期,7-43(1993).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.De-Leon}和\textit{O.Grumberg},《形式方法系统》。设计。2,编号1,7--43(1993;Zbl 0774.68080) 全文: 内政部
M.C.布朗。;E.M.克拉克。;O·格伦伯格。 关于具有许多相同有限状态过程的网络的推理。 (英语) 兹比尔0709.68610 Inf.计算。 81,第1期,第13-31页(1989年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Browne}等人,《信息计算》。81,编号1,13-31(1989;Zbl 0709.68610) 全文: 内政部
M.C.布朗。;E.M.克拉克。;O·格伦伯格。 描述命题时序逻辑中有限Kripke结构的特征。 (英语) 兹比尔0677.03011 西奥。计算。科学。 59,编号1-2,115-131(1988). 审核人:C.马萨拉吉 MSC公司:03B45号 03B70号 68问题65 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Browne}等人,Theor。计算。科学。59,编号1--2,115-131(1988;Zbl 0677.03011) 全文: 内政部