×

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

最新的 引文 关联
卢卡什，霍利克；马丁·赫鲁斯卡；Ondřej Lengál；亚当·罗加列维奇；汤姆·沃纳

森林自动机的反例验证和基于插值的精化。 （英语） 兹比尔1484.68103

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10145, 288-309 (2017).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Holík}等人，Lect。票据计算。科学。10145，288--309（2017；Zbl 1484.68103）
全文： 内政部
康斯坦丁埃纳；Ondřej Lengál；米哈埃拉·西希雷亚努；汤姆·沃纳

分离逻辑片段的合成蕴涵检查。 （英语） Zbl 1453.68046号

雅克·加里格（编辑），《编程语言和系统》。第十二届亚洲研讨会，2014年APLAS，新加坡，新加坡，2014年11月17日至19日，会议记录。柏林：斯普林格。莱克特。票据计算。科学。8858, 314-333 (2014).
MSC公司：68号30 03B70号 05年3月 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{C.Enea}等人，Lect。票据计算。科学。8858、314--333（2014；Zbl 1453.68046）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；卢卡什，霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳

通过扩展森林自动机验证具有有序数据的堆操作程序。 （英语） Zbl 1344.68135号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-02443-1/pbk）。计算机科学课堂讲稿8172224-239（2013）。
MSC公司：60年第68季度 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。8172224--239（2013；Zbl 1344.68135）
全文： 内政部 链接
Ondřej Lengál；Šimáckek，Jiří；汤姆·沃纳

VATA：用于有效操作非确定性树自动机的库。 （英语） Zbl 1352.68135号

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，79-94（2012）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Lengál}等人，Lect。票据计算。科学。7214，79-94（2012；Zbl 1352.68135）
全文： 内政部
卢卡什，霍利克；Ondřej Lengál；Šimáckek，Jiří；汤姆·沃纳

显式和半符号树自动机的高效包含检查。 （英语） Zbl 1348.68105号

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，243-258（2011）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Holík}等人，Lect。票据计算。科学。69964243-258（2011年；兹比尔1348.68105）
全文： 内政部
艾哈迈德·博阿贾尼；马里乌斯·博兹加；彼得·哈贝梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳

带有列表的程序是计数器自动机。 （英语） Zbl 1217.68059号

形式方法系统。设计。 38，第2期，158-192（2011）.
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，《形式方法系统》。设计。38，第2号，158--192（2011；Zbl 1217.68059）
全文： 内政部 哈尔
马里乌斯·博兹加；彼得·哈贝梅尔；拉杜·奥西夫；菲利普·科内钦；汤姆·沃纳

整数数组程序的自动验证。 （英语） Zbl 1242.68063号

Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643157-172（2009）。
MSC公司：68号30 60年第68季度 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozga}等人，Lect。票据计算。科学。5643、157--172（2009年；Zbl 1242.68063）
全文： 内政部
帕罗什·A·阿卜杜拉。；艾哈迈德·博阿贾尼；卢卡什，霍利克；丽莎·卡蒂；汤姆·沃纳

在树自动机上计算模拟。减少树自动机的有效技术。 （英语） Zbl 1134.68391号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，93-108（2008）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。4963、93--108（2008年；Zbl 1134.68391）
全文： 内政部
彼得·哈贝梅尔；拉杜·奥西夫；亚当·罗加列维奇；汤姆·沃纳

证明树操作程序的终止。 （英语） Zbl 1141.68469号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。《计算机科学讲义》4762145-161（2007）。
MSC公司：60年第68季度 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Habermehl}等人，Lect。票据计算。科学。4762、145--161（2007年；Zbl 1141.68469）
全文： 内政部 哈尔
科什卡，米兰；帕维尔·埃尔勒巴赫；汤姆·沃纳

具有扩展线性链接数据结构的基于模式的程序验证。 （英语） Zbl 1276.68055号

Lazic，Ranko（ed.）等人，《关键系统自动验证第五届国际研讨会论文集》（AVoCS 2005），英国华威大学，2005年9月12日至13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记145113-130（2006）。
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.采什卡}等人，《电子》。注释Theor。计算。科学。145113-130（2006年；Zbl 1276.68055）
全文： 链接
艾哈迈德·博阿贾尼；彼得·哈贝梅尔；亚当·罗加列维奇；汤姆·沃纳

抽象常规树模型检查。 （英语） Zbl 1273.68221号

Srba，Jiří（编辑）等人，《第七届无限状态系统验证国际研讨会论文集》（INFINITY 2005），美国加利福尼亚州旧金山，2005年8月27日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》149，第1期，37-48（2006）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，《电子》。注释Theor。计算。科学。149，编号1，37-48（2006年；兹bl 1273.68221）
全文： 链接
艾哈迈德·博阿贾尼；马里乌斯·博兹加；彼得·哈贝梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳

带有列表的程序是计数器自动机。 （英语） Zbl 1188.68181号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学讲义4144517-531（2006）。
MSC公司：60年第68季度 68号30 68第05页 68页第10页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，Lect。票据计算。科学。4144517--531（2006年；Zbl 1188.68181）
全文： 内政部
彼得·哈贝梅尔；拉杜·奥西夫；托马斯·沃伊纳尔

使用树更新对程序进行基于自动机的验证。 （英语） Zbl 1180.68117号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，350-364（2006）。
MSC公司：68号30 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Habermehl}等人，Lect。票据计算。科学。3920、350-364（2006年；Zbl 1180.68117）
全文： 内政部
彼得·哈贝梅尔；汤姆·沃纳

使用正则语言推理的正则模型检查。 （英语） Zbl 1272.68256号

Bradfield，Julian（编辑）等人，第六届无限状态系统验证国际研讨会论文集（INFINITY 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》138，第3期，21-36（2005）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Habermehl}和\textit{T.Vojnar}，电子。注释Theor。计算。科学。138，第3号，21-36（2005；Zbl 1272.68256）
全文： 链接
艾哈迈德·博阿贾尼；彼得·哈贝梅尔；皮埃尔·莫罗；汤姆·沃纳

在定期模型检查中验证具有动态1-选择器链接结构的程序。 （英语） Zbl 1087.68585号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440，13-29（2005）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，Lect。票据计算。科学。3440，13--29（2005；Zbl 1087.68585）
全文： 内政部
艾哈迈德·博阿贾尼；彼得·哈贝梅尔；汤姆·沃纳

抽象定期模型检查。 （英语） Zbl 1103.68071号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学课堂讲稿3114372-386（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，Lect。票据计算。科学。3114372-386（2004；Zbl 1103.68071）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件