罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 合成中的真空。 (英语) Zbl 1522.68297号 形式方法系统。设计。 57,第3号,473-495(2021).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。57,编号3,473--495(2021;Zbl 1522.68297) 全文: 内政部
罗德里克·布洛姆;费·戈尔施温;费边格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英语) Zbl 1427.68160号 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。55,No.2,103--135(2019;Zbl 1427.68160) 全文: 内政部 arXiv公司
哈娜·乔克勒;古哈,柴桥;奥尔纳·库普弗曼 定时真空。 (英语) Zbl 1460.68055号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 438-455 (2018).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,莱克特。注释计算。科学。10951,438--455(2018;Zbl 1460.68055) 全文: 内政部
汤姆·梅尔姆 符号轨迹评估。 (英语) Zbl 1392.68261号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。831-870 (2018).MSC公司:第68季度第60季度 03B44号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{T.Melham},in:模型检查手册。查姆:施普林格。831--870(2018;Zbl 1392.68261) 全文: 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 合成非真空系统。 (英语) Zbl 1484.68096号 Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10145, 55-72 (2017).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Lect。注释计算。科学。10145,55-72(2017;Zbl 1484.68096) 全文: 内政部 链接
雅罗斯拉夫·本迪克;尼古拉·贝内什;JiříBarnat;伊万娜·乔纳 在有序集合中寻找边界元素,并将其应用于安全和需求分析。 (英语) Zbl 1390.68177号 De Nicola,Rocco(编辑)等人,《软件工程和形式化方法》。2016年7月4日至8日,作为2016年STAF的一部分,在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-41590-1/pbk;978-3-316-41591-8/电子书)。计算机科学课堂讲稿9763121-136(2016)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,Lect。注释计算。科学。9763、121--136(2016;Zbl 1390.68177) 全文: 内政部
维克多·舒潘 利用时间相关性信息增强LTL的不可满足核心。 (英语) Zbl 1356.68146号 西奥。计算。科学。 655,B部分,155-192(2016).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},Theor。计算。科学。655,B部分,155--192(2016;Zbl 1356.68146) 全文: 内政部 arXiv公司
JiříBarnat;彼得·鲍赫;尼古拉·贝内什;卢博什·布里姆;简·伯兰;托马斯·克拉托奇维拉 分析航空电子系统需求的健全性。 (英语) Zbl 1335.68131号 正式Asp。计算。 28,第1号,45-63(2016).MSC公司:第68季度第60季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,《形式语法》。计算。28,第1号,45-63(2016;Zbl 1335.68131) 全文: 内政部 arXiv公司
维克多·舒潘 通过时间分辨率提取LTL的不可满足核心。 (英语) Zbl 1338.68170号 学报信息。 53,第3期,247-299(2016).MSC公司:第68季度第60季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},Acta Inf.53,No.3,247--299(2016;Zbl 1338.68170) 全文: 内政部 arXiv公司
戈恩,希拉;奥尔纳·库普弗曼 格自动机中的固有真空。 (英语) Zbl 1465.68178号 Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。9300, 174-192 (2015).MSC公司:第68季度第60季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gonen}和\textit{O.Kupferman},莱克特。注释计算。科学。9300174-192(2015年;Zbl 1465.68178) 全文: 内政部
肖姆·本·达维德;科普提,费迪;达纳·菲斯曼;西瓦尼特·鲁阿 实践中的空白:暂时的先例失败。 (英语) Zbl 1322.68132号 形式方法系统。设计。 46,第1期,81-104(2015).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben-David}等人,《形式方法系统》。设计。46,编号1,81-104(2015年;兹bl 1322.68132) 全文: 内政部
哈娜·乔克勒;阿里·古芬克尔;斯特里赫曼(Ofer Strichman) 超越空虚:走向最强的传递公式。 (英语) 兹比尔1291.68253 形式方法系统。设计。 43,第3期,552-571(2013).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,《形式方法系统》。设计。43,No.3,552--571(2013;Zbl 1291.68253) 全文: 内政部
维克托·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
哈娜·乔克勒;斯特里赫曼(Ofer Strichman) 真空前后。 (英语) Zbl 1165.68402号 形式方法系统。设计。 34,第1期,37-58(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}和\textit{O.Strichman},《形式方法系统》。设计。34,编号1,37-58(2009年;兹bl 1165.68402) 全文: 内政部
马可·萨梅尔;赫尔穆特·维思 关于空洞真理的概念。 (英语) Zbl 1137.68438号 Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,2-14(2007)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{H.Veith},莱克特。注释计算。科学。4790,2-14(2007年;兹bl 1137.68438) 全文: 内政部
Chechik,玛莎;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 符号多值模型检查的数据结构。 (英语) Zbl 1109.68063号 形式方法系统。设计。 29,第3期,295-344(2006).MSC公司:第68季度第60季度 68第05页 68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}等人,《形式方法系统》。设计。29,第3号,295--344(2006;Zbl 1109.68063) 全文: 内政部
哈娜·乔克勒;奥尔纳·库普弗曼;莫舍·瓦尔迪。 时序逻辑模型检查的覆盖度量。 (英语) Zbl 1105.68075号 形式方法系统。设计。 28,第3期,189-212(2006).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,《形式方法系统》。设计。28,第3号,189--212(2006;Zbl 1105.68075) 全文: 内政部 链接