×

找到44个文档（结果1-44）

最新的 引文 关联
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman）

合成非真空系统。 （英文） Zbl 1484.68096号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。第18届国际会议，2017年VMCAI，2017年1月15日至17日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 55-72 (2017).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。10145，55-72（2017；Zbl 1484.68096）
全文： 内政部 链接
斯特里赫曼（Ofer Strichman）;毛尔·维茨曼

非平衡递归函数的回归验证。 （英文） Zbl 1427.68055号

Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9995, 645-658 (2016).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Strichman}和\textit{M.Veitsman}，莱克特。注释计算。科学。9995645-658（2016年；兹比尔1427.68055）
全文： 内政部
马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）;迈克尔·陶奇尼格

学习错误语言。 （英文） Zbl 1471.68101号

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 114-130 (2015).
MSC公司：68问题32 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Chapman}等人，Lect。注释计算。科学。9364、114--130（2015年；Zbl 1471.68101）
全文： 内政部 链接
萨加·查基;阿里·古芬克尔;孔顺浩;斯特里赫曼（Ofer Strichman）

周期性程序的合成序列化。 （英文） Zbl 1426.68042号

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737, 536-554 (2013).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。7737，536--554（2013；Zbl 1426.68042）
全文： 内政部
斯特里赫曼（Ofer Strichman）（编辑）;丹尼尔·克罗宁（编辑）

专题“SI：可满足性模理论”前言。 （英文） 兹比尔1284.68035

形式方法系统。设计。 42，第1期，第1-2期（2013年）.
MSC公司：68-06 03B70号 68T20型 68吨15 60年第68季度 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{O.Strichman}（编辑）和\textit{D.Kroening}（主编），《形式方法系统》。设计。42，编号1，1--2（2013；Zbl 1284.68035）
全文： 内政部
萨加·查基;阿里·古芬克尔;斯特里赫曼（Ofer Strichman）

多线程程序的回归验证。 （英文） Zbl 1325.68060号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148119-135（2012）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。7148、119--135（2012；Zbl 1325.68060）
全文： 内政部
丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman）;托马斯·沃尔;詹姆斯·沃雷尔

有界模型检查的线性完整性阈值。 （英文） Zbl 1360.68592号

Gopalakrishnan，Ganesh（编辑）等人，《计算机辅助验证》。2011年7月14日至20日，第23届国际会议，CAV 2011，美国犹他州雪鸟。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22109-5/pbk）。计算机科学课堂讲稿6806557-572（2011）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}等人，Lect。注释计算。科学。6806557--572（2011；Zbl 1360.68592）
全文： 内政部
哈娜·乔克勒;阿里·古芬克尔;斯特里赫曼（Ofer Strichman）

LTL查询检查的变体。 （英文） Zbl 1325.68144号

Barner，Sharon（编辑）等人，《硬件和软件：验证和测试》。2010年10月4日至7日，以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19582-2/pbk）。计算机科学课堂讲稿650476-92（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Chockler｝等人，Lect。注释计算。科学。6504、76-92（2011年；Zbl 1325.68144）
全文： 内政部
本尼·戈德林;斯特里赫曼（Ofer Strichman）

证明递归过程等价性的推理规则。 （英文） Zbl 1288.68042号

Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲稿6200，167-184（2010）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛B.Godlin｝和\textit｛O.Strichman｝，Lect。注释计算。科学。6200、167--184（2010年；Zbl 1288.68042）
全文： 内政部
罗扎诺夫、米伦;斯特里赫曼（Ofer Strichman）

在P-time中生成最小及物性约束以确定等式逻辑。 （英文） Zbl 1277.68146号

Krstić，Sava（编辑）等人，第五届可满足性模理论国际研讨会论文集（SMT 2007），德国柏林，2007年7月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》198，第2期，第3-17页（2008年）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Rozanov}和\textit{O.Strichman}，电子。注释Theor。计算。科学。198，第2、3--17号（2008；Zbl 1277.68146）
全文： 内政部
斯特里赫曼（Ofer Strichman）（编辑）;阿明·比尔（编辑）

第四届有界模型检验国际研讨会论文集（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。 （英文） 兹比尔1273.68045

理论计算机科学电子笔记174，第3号。阿姆斯特丹：爱思唯尔。70页。，仅电子版（2007年）。
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{O.Strichman}（编辑）和\textit{A.Biere}（编），第四届有界模型检验国际研讨会论文集（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔（2007；Zbl 1273.68045）
全文： 链接
阿里·马茨利亚;斯特里赫曼（Ofer Strichman）

基于随机密码构造的模型检查的欠近似。 （英文） Zbl 1135.68478号

Damm，Werner（编辑）等人，《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73367-6/pbk）。计算机科学课堂讲稿4590339-351（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Matsliah}和\textit{O.Strichman}，莱克特。注释计算。科学。4590、339--351（2007年；Zbl 1135.68478）
全文： 内政部
Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Seshia、Sanjit A。;斯特里赫曼（Ofer Strichman）;布雷迪，布莱恩

用抽象方法确定位向量算法。 （英文） Zbl 1186.68281号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424358-372（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}等人，Lect。注释计算。科学。4424358--372（2007年；Zbl 1186.68281）
全文： 内政部
萨加·查基;斯特里赫曼（Ofer Strichman）

基于优化的假设保证推理。 （英文） Zbl 1147.68568号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424276-291（2007）。
MSC公司：60年第68季度 68问题85 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}和\textit{O.Strichman}，莱克特。注释计算。科学。4424276--291（2007年；Zbl 1147.68568）
全文： 内政部
阿明·比尔（编辑）;斯特里赫曼（Ofer Strichman）（编辑）

第三届有界模型检验国际研讨会论文集（BMC 2005），英国爱丁堡，2005年7月11日。 （英文） Zbl 1272.68007号

理论计算机科学电子笔记第144页，第1页。阿姆斯特丹：爱思唯尔。92页。，仅电子版（2006年）。
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Biere}（编辑）和\textit{O.Strichman}（编），第三届有界模型检验国际研讨会论文集（BMC 2005），英国爱丁堡，2005年7月11日。阿姆斯特丹：Elsevier（2006；Zbl 1272.68007）
全文： 链接
罗曼·格什曼;斯特里赫曼（Ofer Strichman）

海法卫星：一种新的鲁棒SAT解算器。 （英文） Zbl 1176.68120号

Ur，Shmuel（编辑）等人，《硬件和软件验证与测试》。2005年11月13日至16日在以色列海法举行的第一次国际海法核查会议。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-32604-9/pbk）。计算机科学课堂讲稿3875，76-89（2006）。
MSC公司：60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Gershman}和\textit{O.Strichman}，莱克特。注释计算。科学。3875、76-89（2006年；Zbl 1176.68120）
全文： 内政部
奥尔纳·格伦伯格;弗拉维奥·勒尔达;斯特里赫曼（Ofer Strichman）;迈克尔·西奥博尔德

多进程系统的验证引导欠近似加宽。 （英文） Zbl 1369.68259号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。122-131 (2005).
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{O.Grumberg}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。122-131（2005年；Zbl 1369.68259）
全文： 内政部
A.Biere。（编辑）;O·斯特里赫曼。（编辑）

2004年7月18日，美国马萨诸塞州波士顿市，第二届有界模型检验国际研讨会论文集（BMC 2004）。 （英文） 兹比尔1271.68021

理论计算机科学电子笔记第119号，第2条。阿姆斯特丹：爱思唯尔。第102页。，仅电子版（2005）。
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Biere}（ed.）和\textit{O.Strichman}（edi.），第二届有界模型检验国际研讨会论文集（BMC 2004），美国马萨诸塞州波士顿，2004年7月18日。阿姆斯特丹：Elsevier（2005；Zbl 1271.68021）
全文： 链接
奥利·迈尔;斯特里赫曼（Ofer Strichman）

等式逻辑的另一个决策过程。 （英文） Zbl 1081.68627号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576307-320（2005）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Meir}和\textit{O.Strichman}，莱克特。注释计算。科学。3576307--320（2005；Zbl 1081.68627）
全文： 内政部
阿努巴夫·古普塔;斯特里赫曼（Ofer Strichman）

有界模型检查的抽象细化。 （英文） Zbl 1081.68620号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。《计算机科学讲义》3576112-124（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Gupta}和\textit{O.Strichman}，莱克特。注释计算。科学。3576、112-124（2005年；Zbl 1081.68620）
全文： 内政部
埃德蒙·克拉克;丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman）

有界模型检查的完整性和复杂性。 （英文） Zbl 1202.68244号

Steffen，Bernhard（编辑）等人，《验证、模型检查和抽象解释》。第五届国际会议，VMCAI 2004，意大利威尼斯，2004年1月11-13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20803-8/pbk）。莱克特。注释计算。科学。2937, 85-96 (2004).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。2937、85-96（2004年；Zbl 1202.68244）
全文： 内政部
丹尼尔·克罗宁;约尔·瓦克宁;Seshia、Sanjit A。;斯特里赫曼（Ofer Strichman）

基于抽象的Presburger算法的可满足性求解。 （英文） Zbl 1103.68626号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学课堂讲稿3114308-320（2004）。
MSC公司：60年第68季度 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}等人，Lect。注释计算。科学。3114308-320（2004；Zbl 1103.68626）
全文： 内政部
穆拉利达尔·塔卢普尔;尼尚·辛哈;斯特里赫曼（Ofer Strichman）;阿米尔·普努利

分离逻辑的范围分配。 （英文） Zbl 1103.68079号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，148-161（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Talupur}等人，Lect。注释计算。科学。3114、148--161（2004；Zbl 1103.68079）
全文： 内政部
斯特里赫曼（Ofer Strichman）（编辑）;阿明·比尔（编辑）

BMC’2003。2003年7月13日，美国科罗拉多州博尔德市，第一届有界模型检验国际研讨会论文集。 （英文） Zbl 1271.68057号

理论计算机科学电子笔记89号，第4条。阿姆斯特丹：爱思唯尔。541-638，仅电子版（2003年）。
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{O.Strichman}（编辑）和\textit{A.Biere}（主编），BMC’2003。第一届有界模型检验国际研讨会论文集，美国科罗拉多州博尔德市，2003年7月13日。阿姆斯特丹：Elsevier（2003；Zbl 1271.68057）
全文： 链接
萨加·查基;埃德蒙·克拉克;亚历克斯·格罗斯;斯特里赫曼（Ofer Strichman）

使用最少谓词的谓词抽象。 （英文） Zbl 1179.68033号

Geist，Daniel（编辑）等人，《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议，CHARME 2003，意大利拉奎拉，2003年10月21日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20363-X/pbk）。莱克特。注释计算。科学。2860, 19-34 (2003).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。2860、19-34（2003年；Zbl 1179.68033）
全文： 内政部
丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）

有效计算重复直径。 （英文） Zbl 1022.68579号

Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2575, 298-309 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}和\textit{O.Strichman}，莱克特。注释计算。科学。2575298--309（2003年；Zbl 1022.68579）
全文： 链接
斯特里赫曼（Ofer Strichman）

关于用SAT求解Presburger和线性算术。 （英文） Zbl 1019.68592号

Aagaard，Mark D.（编辑）等人，《计算机辅助设计中的形式化方法》。第四届国际会议，2002年11月6日至8日，美国俄勒冈州波特兰市，FMCAD 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2517, 160-170 (2002).
MSC公司：60年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{O.Strichman}，莱克特。注释计算。科学。2517、160-170（2002年；Zbl 1019.68592）
全文： 链接
埃德蒙·克拉克;阿努巴夫·古普塔;詹姆斯·库库拉;斯特里赫曼（Ofer Strichman）

使用ILP和机器学习技术的基于SAT的抽象精化。 （英文） Zbl 1010.68515号

Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。24041265-279（2002年）。
MSC公司：60年第68季度 68T05型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。2404265-279（2002年；Zbl 1010.68515）
全文： 链接
斯特里赫曼（Ofer Strichman）;Seshia、Sanjit A。;Randal E.布莱恩特。

用SAT确定分离公式。 （英文） Zbl 1010.68168号

Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 209-222 (2002).
MSC公司：68吨15 60年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{O.Strichman}等人，Lect。注释计算。科学。2404209--222（2002年；Zbl 1010.68168）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件