辛迪·艾斯纳;阿米尔·纳希尔;凯伦·约拉夫 通过组合推理对功率选通设计进行功能验证。 (英语) 兹比尔1185.68130 形式方法系统。设计。 35,第1号,40-55(2009).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}等人,《形式方法系统》。设计。35,第1号,40-55(2009年;兹bl 1185.68130) 全文: 内政部
肖姆·本·达维德;辛迪·艾斯纳;丹尼尔·盖斯特;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) 全文: 内政部
亚埃尔·阿巴本尔·维诺夫;Aizenbud-Reshef,内塔;啤酒,伊兰;辛迪·艾斯纳;丹尼尔·盖斯特;泰米尔·海曼;尤维尼、艾丽斯;伊兰·里佩尔;伊里特·希茨瓦洛夫;Wolfsthal,纱线;塔利Yatzkar-Haham 关于功能形式化验证的有效部署。 (英语) Zbl 0994.68579号 形式方法系统。设计。 19,第1期,35-44(2001).MSC公司:68单位99 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abarbanel-Vinov}等人,《形式方法系统》。设计。19,第1号,35-44(2001;Zbl 0994.68579) 全文: 内政部
啤酒,伊兰;肖姆·本·达维德;辛迪·艾斯纳;约夫·罗德 在时序模型检查中有效检测空虚。 (英语) Zbl 0988.68111号 形式方法系统。设计。 第141-163号第18页(2001年).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Beer}等人,《形式方法系统》。设计。18,第2号,141--163(2001;Zbl 0988.68111) 全文: 内政部