×

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

最新的 引文 关联
亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利

用非平凡常数合成程序。 （英语） Zbl 07702725号

J.自动化。推理 67，第2号，第19号论文，第25页（2023年）.
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛A.Abate｝等人，J.Autom。推理67，第2号，第19号论文，第25页（2023；Zbl 07702725）
全文： 内政部
丹尼尔·克罗宁;马特·刘易斯;乔治·威森巴赫

使用跟踪自动机和有界模型检查证明安全性。 （英语） Zbl 1427.68047号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 325-341 (2015).
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}等人，Lect。注释计算。科学。9109325--341（2015；Zbl 1427.68047）
全文： 内政部 arXiv公司
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁

利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 （英语） Zbl 1419.68041号

Blazy，Sandrine（编辑）等人，《静态分析》。2015年9月9日至11日，第22届国际研讨会，SAS，法国圣马洛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9291, 312-331 (2015).
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cattaruzza}等人，Lect。注释计算。科学。9291、312--331（2015；Zbl 1419.68041）
全文： 内政部 arXiv公司 链接
阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔

对称并发程序的反示例引导抽象细化。 （英语） Zbl 1284.68179号

形式方法系统。设计。 第41期，第1期，第25-44页（2012年）.
MSC公司：68号30 60年第68季度 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.F.Donaldson}等人，《形式方法系统》。设计。41、第1号、第25-44号（2012年；Zbl 1284.68179）
全文： 内政部 链接
阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁

回路总结和终止分析。 （英语） Zbl 1315.68106号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记660581-95（2011）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛A.Tsitovich｝等人，Lect。注释计算。科学。6605，81-95（2011年；兹bl 1315.68106）
全文： 内政部
阿拉斯泰尔·唐纳森。;利奥波德·哈勒;丹尼尔·克罗宁

通过轻量级静态分析加强基于导入的比赛检查。 （英语） Zbl 1317.68113号

Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，169-183（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.F.Donaldson}等人，Lect。注释计算。科学。6538，169--183（2011；Zbl 1317.68113）
全文： 内政部
安吉洛·布里洛特;何楠楠;米歇尔·马祖奇;丹尼尔·克罗宁;米特拉·普兰达尔;菲利普·吕默;乔治·威森巴赫

Simulink模型基于变异的测试用例生成。 （英语） Zbl 1312.68130号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286208-227（2010）。
MSC公司：60年第68季度 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Brillout}等人，Lect。注释计算。科学。6286208--227（2010年；Zbl 1312.68130）
全文： 内政部
尤里·切比里亚克;托马斯·沃尔;丹尼尔·克罗宁;利奥波德·哈勒

在二元超立方体中寻找精益诱导循环。 （英语） Zbl 1247.68248号

Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，18-31（2009）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chebiryak}等人，Lect。注释计算。科学。5584，18-31（2009；Zbl 1247.68248）
全文： 内政部 链接
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;Stefano托内塔;齐托维奇，阿利亚克塞;Christoph M.温特斯泰格。

使用抽象变换器的循环摘要。 （英语） Zbl 1183.68377号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿53111-125（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}等人，Lect。注释计算。科学。53111-125（2008年；Zbl 1183.68377）
全文： 内政部
维杰·德·席尔瓦;米特拉·普兰达尔;丹尼尔·克罗宁

基于插值的模型检查的近似精化。 （英语） Zbl 1138.68444号

Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿4905，68-82（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.D'Silva}等人，Lect。注释计算。科学。4905,68--82（2008年；Zbl 1138.68444）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件