肖姆·本·达维德;科普特语,法迪语;费斯曼,达纳;西瓦尼特·鲁阿 实践中的空白:暂时的先例失败。 (英语) Zbl 1322.68132号 形式方法系统。设计。 46,第1期,81-104(2015).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben David}等人,Form.Methods Syst。设计。46,第1号,81--104(2015;Zbl 1322.68132) 全文: DOI程序
啤酒,伊兰;肖姆·本·达维德;哈娜·乔克勒;阿维盖尔·奥尔尼;理查德·特雷弗勒 用因果关系解释反例。 (英语) Zbl 1247.68158号 形式方法系统。设计。 40,第1期,20-40(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Beer}等人,《形式方法系统》。设计。40、1号、20--40(2012;Zbl 1247.68158) 全文: DOI程序
肖姆·本·达维德;辛迪·艾斯纳;丹尼尔·盖斯特;Wolfsthal,雅伦 IBM的模型检查。 (英语) Zbl 1020.68507号 形式方法系统。设计。 22,第2期,101-108(2003).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben-David}等人,《形式方法系统》。设计。22,第2号,101--108(2003;Zbl 1020.68507) 全文: DOI程序
啤酒,伊兰;肖姆·本·达维德;辛迪·艾斯纳;约夫·罗德赫 在时序模型检查中有效检测空虚。 (英语) Zbl 0988.68111号 形式方法系统。设计。 18,第2期,141-163(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Beer}等人,《形式方法系统》。设计。18,第2141-163号(2001年;兹bl 0988.68111) 全文: DOI程序