罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 反应合成中的特定鲁棒性。 （英语） Zbl 07683089号 形式方法系统。设计。 60，第2号，259-276（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。60，第2号，259--276（2022；Zbl 07683089） 全文： 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里奇曼，奥弗 合成中的真空。 （英语） 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） 全文： 内政部
斯特里赫曼（Ofer Strichman）（编辑） 特殊问题：程序等效性。 （英语） Zbl 1392.68034号 形式方法系统。设计。 52，第3期，227-228（2018）.MSC公司：68-06 68号30 第68季度第60季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Strichman}（编辑），《形式方法系统》。设计。52，第3号，227--228（2018；Zbl 1392.68034） 全文： 内政部
萨加·查基;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 多线程程序的回归验证（具有锁的扩展和动态线程创建）。 （英语） Zbl 1331.68048号 形式方法系统。设计。 47，第3期，287-301（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，《形式方法系统》。设计。47，第3号，287--301（2015；Zbl 1331.68048） 全文： 内政部
迪马·埃伦博根;Shmuel Katz;斯特里赫曼（Ofer Strichman） 证明双方终止。 （英语） Zbl 1322.68052号 形式方法系统。设计。 47，第2期，204-229（2015）.MSC公司：68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Elenbogen}等人，《形式方法系统》。设计。47，第2号，204--229（2015；Zbl 1322.68052） 全文： 内政部
哈娜·乔克勒;阿里·古芬克尔;斯特里赫曼（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） 全文： 内政部
斯特里赫曼（Ofer Strichman）（编辑）;丹尼尔·克罗宁（编辑） 专题“SI：可满足性模理论”前言。 （英语） Zbl 1284.68035号 形式方法系统。设计。 42，第1期，第1-2期（2013年）.MSC公司：68-06 03B70号 68T20型 68吨15 第68季度第60季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Strichman}（编辑）和\textit{D.Kroening}（主编），《形式方法系统》。设计。42，编号1，1--2（2013；Zbl 1284.68035） 全文： 内政部
哈娜·乔克勒;斯特里赫曼（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；Zbl 1165.68402） 全文： 内政部
格什曼，罗马;玛雅·科夫曼;斯特里赫曼（Ofer Strichman） 提取不可满足的小岩芯的方法。 （英语） Zbl 1165.68487号 形式方法系统。设计。 33，编号1-3，1-27（2008）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gershman}等人，《形式方法系统》。设计。33，编号1--3，1--27（2008；Zbl 1165.68487） 全文： 内政部
萨加·查基;斯特里赫曼（Ofer Strichman） 用\（L^｛*｝\）进行假设保证推理的三个优化。 （英语） Zbl 1147.68569号 形式方法系统。设计。 32，第3期，267-284（2008）.MSC公司：第68季度第60季度 68问题85 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}和\textit{O.Strichman}，形式方法系统。设计。32，第3号，267--284（2008；Zbl 1147.68569） 全文： 内政部
查基，S。;E.克拉克。;A.格罗斯。;沃克宁，J。;O·斯特里赫曼。;约拉夫，K。 顺序和并发C程序的有效验证。 （英语） Zbl 1101.68677号 形式方法系统。设计。 25，编号2-3，129-166（2004）.MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，《形式方法系统》。设计。25，编号2-3-129-166（2004年；兹bl 1101.68677） 全文： 内政部
斯特里赫曼（Ofer Strichman） 加速安全属性的有界模型检查。 （英语） Zbl 1073.68054号 形式方法系统。设计。 24，第1期，5-24（2004）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Strichman}，形式方法系统。设计。24，第1号，第5--24号（2004；Zbl 1073.68054） 全文： 内政部