×

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

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

用非平凡常数合成程序。 （英语） 兹伯利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 1478.68308号

计算。科学。版次。 37，文章ID 100270，34 p.（2020）.
MSC公司：68T07型 68-02
PDF格式BibTeX公司 XML格式引用
\textit{X.Huang}等人，计算。科学。第37版，文章ID 100270，34页（2020年；Zbl 1478.68308）
全文： 内政部 arXiv公司
穆罕默德·哈桑贝格；丹尼尔·克罗宁；亚历山德罗·阿巴特

用时序逻辑进行深度强化学习。 （英语） Zbl 1455.68190号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 1-22 (2020).
MSC公司：68T07型 03B44号 05年3月 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hasanbeig}等人，Lect。注释计算。科学。12288，1-22（2020；Zbl 1455.68190）
全文： 内政部
亚历山德罗·阿巴特；伊奥里·贝萨；卢卡斯·科迪罗；克里斯蒂娜·大卫；帕斯卡·凯塞利；丹尼尔·克罗宁；伊丽莎白·波尔格林

连续设备可证明安全数字控制器的自动形式化综合。 （英语） Zbl 1441.93171号

学报信息。 57，编号1-2，223-244（2020）.
MSC公司：93元62角 93亿B50 93立方厘米 93D20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Abate｝等人，Acta Inf.57，No.1-2223-244（2020；兹bl 1441.93171）
全文： 内政部
亚历山德罗·阿巴特；克里斯蒂娜·大卫；帕斯卡·凯塞利；丹尼尔·克罗宁；伊丽莎白·波尔格林

反例引导归纳综合模理论。 （英语） Zbl 1511.68064号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 270-288 (2018).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，Lect。注释计算。科学。10981、270--288（2018年；Zbl 1511.68064）
全文： 内政部
Edmund M.jun Clarke。；奥尔纳·格伦伯格；丹尼尔·克罗宁；多龙·贝利德；赫尔穆特·维思

模型检查。第二次扩展和更新版本。 （英语） Zbl 1423.68002号

网络物理系统系列马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-03883-6/hbk）。xx，402页。(2018).
MSC公司：68-01 68-02 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke jun.}等人，模型检查。第二次扩展和更新版本。马萨诸塞州剑桥：麻省理工学院出版社（2018；Zbl 1423.68002）
列侬·查夫斯；伊奥里·贝萨；卢卡斯·科迪罗；丹尼尔·克罗宁

DSValidator：数字系统的自动反例再现工具。 （英语） Zbl 1409.68170号

第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11日至13日。纽约州纽约市：计算机协会（ACM）。253-258（2018年）。
MSC公司：60年第68季度 93元62角
PDF格式BibTeX公司 XML格式引用
\textit{L.Chaves}等人，in：第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。253--258（2018年；Zbl 1409.68170）
全文： 内政部 arXiv公司
拉杰迪普·穆克吉；彼得·施拉梅尔；利奥波德·哈勒；丹尼尔·克罗宁；汤姆，梅尔哈姆

将CDCL提升到基于模板的抽象域以进行程序验证。 （英语） Zbl 1495.68139号

D’Souza，Deepak（编辑）等人，《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10482, 307-326 (2017).
MSC公司：60年第68季度 68号30 68问题32 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Mukherjee}等人，Lect。注释计算。科学。10482、307--326（2017；Zbl 1495.68139）
全文： 内政部 arXiv公司 链接
马塞洛·索萨；塞萨尔·罗德里格斯；维杰·德·席尔瓦；丹尼尔·克罗宁

用展开进行抽象解释。 （英语） Zbl 1494.68044号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 197-216 (2017).
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Sousa}等人，Lect。注释计算。科学。10427，197--216（2017；Zbl 1494.68044）
全文： 内政部 arXiv公司
达里奥·卡塔鲁扎；亚历山德罗·阿巴特；彼得·施拉梅尔；丹尼尔·克罗宁

抽象加速度中的合理数值计算。 （英语） 兹比尔1515.65344

阿巴特，亚历山德罗（编辑）等人，《数值软件验证》。第十届国际研讨会，2017年7月22日至23日，德国海德堡，NSV 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10381, 38-60 (2017).
MSC公司：65年20月 65克40
PDF格式BibTeX公司 XML格式引用
\textit{D.Cattaruzza}等人，Lect。注释计算。科学。10381，38-60（2017；Zbl 1515.65344）
全文： 内政部 链接
安娜·特罗斯塔涅茨基；奥尔纳·格伦伯格；丹尼尔·克罗宁

程序版本语义差异的模块化需求驱动分析。 （英语） Zbl 1420.68076号

Ranzato，Francesco（编辑），静态分析。2017年8月30日至9月1日，第24届国际研讨会，SAS 2017，美国纽约州纽约市。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10422405-427（2017）中所述。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Trostanetski}等人，Lect。注释计算。科学。10422405--427（2017；Zbl 1420.68076）
全文： 内政部 链接
亚历山德罗·阿巴特；伊奥里·贝萨；达里奥·卡塔鲁扎；卢卡斯·科迪罗；克里斯蒂娜·大卫；帕斯卡·凯塞利；丹尼尔·克罗宁

连续设备数字稳定控制器的声音和自动合成。 （英语） Zbl 1369.93189号

2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。197-206 (2017).
MSC公司：93亿B50 93B40码 93D99型 93元57
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。197-206（2017年；Zbl 1369.93189）
全文： 内政部 arXiv公司
维杰·德·席尔瓦；丹尼尔·克罗宁；马塞洛·索萨

独立抽象和并发模型。 （英语） Zbl 1484.68140号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 151-168 (2017).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.D'Silva}等人，Lect。注释计算。科学。10145，151--168（2017；Zbl 1484.68140）
全文： 内政部
丹尼尔·波兹尔；丹尼尔·克罗宁

规范化和检查无数据通道执行模型的线程优化。 （英语） Zbl 1420.68072号

Chechik，Marsha（编辑）等人，《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016，是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9636, 515-530 (2016).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Poetzl}和\textit{D.Kroening}，莱克特。注释计算。科学。9636、515--530（2016；Zbl 1420.68072）
全文： 内政部 arXiv公司 链接
E·阿尔布拉哈姆。；雅培，J。；B.贝克尔。；比加蒂，A.M。；布莱恩，M。；巴赫伯格，B。；A.西马蒂。；J.H.达文波特。；英格兰，M。；方丹，P。；福雷斯特，S。；A.格里乔。；克罗宁，D。；西勒，W.M。；Sturm，T。

满意度检查和符号计算。 （英语） Zbl 1365.68478号

ACM通信。计算。代数 50，第4期，145-147（2016）.
MSC公司：68瓦30 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，ACM Commun。计算。代数50，第4期，145-147（2016；Zbl 1365.68478）
全文： 内政部 arXiv公司 链接
丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman）
[尼古拉·比约纳；莱昂纳多·德·莫拉；希勒尔·库格勒]

决策程序。算法观点。第二版。 （英语） Zbl 1358.68002号

理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 978-3-662-50496-3/hbk；978-3-562-50497-0/电子书）。第22、356页。(2016).
MSC公司：68-01 68-02 68吨15 68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}和\textit{O.Strichman}，决策程序。算法观点。第二版。柏林：施普林格出版社（2016；Zbl 1358.68002）
全文： 内政部
艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆

联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 （英语） 兹比尔1344.68198

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，28-43（2016）。
MSC公司：68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。9791，28-43（2016；Zbl 1344.68198）
全文： 内政部 arXiv公司
布莱恩，马丁；哈达伦，莉安娜；丹尼尔·克罗宁；鲁本·马丁斯

自动生成传播完整的SAT编码。 （英语） Zbl 1475.68218号

Jobstmann，Barbara（编辑）等人，《验证、模型检查和抽象解释》。2016年1月17日至19日，第17届国际会议，VMCAI 2016，美国佛罗里达州圣彼得堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9583, 536-556 (2016).
MSC公司：68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Brain}等人，Lect。注释计算。科学。9583，536--556（2016；Zbl 1475.68218）
全文： 内政部 链接
丹尼尔·克罗宁；马特·刘易斯；乔治·威森巴赫

使用跟踪自动机和有界模型检查证明安全性。 （英语） 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公司
塞萨尔·罗德里格斯；马塞洛·索萨；沙尔马，苏博德；丹尼尔·克罗宁

基于展开的部分顺序约简。 （英语） Zbl 1374.68342号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，456-469（2015）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Rodríguez}等人，LIPIcs——莱布尼茨国际程序。通知。42、456--469（2015年；Zbl 1374.68342）
全文： 内政部 arXiv公司
亚历克斯·霍恩；丹尼尔·克罗宁

基于SAT/SMT的弱内存并发符号编码的偏序语义。 （英语） Zbl 1347.68268号

Graf，Susanne（编辑）等人，分布式对象、组件和系统的形式化技术。第35届IFIP WG 6.1国际会议，2015年FORTE，作为第十届分布式计算技术国际联合会议的一部分，2015年6月2日至4日在法国格勒诺布尔举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-19194-2/pbk；978-3-316-19195-9/电子书）。计算机科学课堂讲稿9039，19-34（2015）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Horn}和\textit{D.Kroening}，莱克特。注释计算。科学。9039，19-34（2015；Zbl 1347.68268）
全文： 内政部 arXiv公司
克里斯蒂娜·大卫；丹尼尔·克罗宁；马特·刘易斯

关于堆操作程序的安全性和终止的命题推理。 （英语） Zbl 1335.68051号

Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032661-684（2015）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.David}等人，Lect。注释计算。科学。9032661--684（2015年；Zbl 1335.68051）
全文： 内政部 arXiv公司
克里斯蒂娜·大卫；丹尼尔·克罗宁；马特·刘易斯

位向量程序的无限制终止和非终止参数。 （英语） Zbl 1335.68050号

Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032183-204（2015）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.David}等人，Lect。注释计算。科学。9032，183--204（2015；Zbl 1335.68050）
全文： 内政部 arXiv公司
克里斯蒂娜·大卫；丹尼尔·克罗宁；马特·刘易斯

使用程序合成进行程序分析。 （英语） 兹比尔1471.68056

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9450, 483-498 (2015).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.David}等人，Lect。注释计算。科学。9450483--498（2015；Zbl 1471.68056）
全文： 内政部 arXiv公司
马丁·查普曼；哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（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）
全文： 内政部 链接
达里奥·卡塔鲁扎；亚历山德罗·阿巴特；彼得·施拉梅尔；丹尼尔·克罗宁

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

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

迷失在抽象中：多线程程序中的单调性。 （英语） Zbl 1417.68133号

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 141-155 (2014).
MSC公司：68问题85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Kaiser}等人，Lect。注释计算。科学。8704，141--155（2014；Zbl 1417.68133）
全文： 内政部 arXiv公司 链接
布莱恩，马丁；克里斯蒂娜·大卫；丹尼尔·克罗宁；彼得·施拉梅尔

堆操作程序的模型和证明生成。 （英语） Zbl 1405.68072号

Shao，Zhong（编辑），《程序设计语言和系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。计算机科学课堂讲稿8410，432-452（2014）。
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.Brain}等人，Lect。注释计算。科学。8410、432——452（2014年；兹比尔1405.68072）
全文： 内政部
维杰·德·席尔瓦；利奥波德·哈勒；丹尼尔·克罗宁

抽象满意度。 （英语） Zbl 1284.68392号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2544-8）。139-150 (2014).
MSC公司：60年第68季度 68问题55 68吨15 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.D'Silva}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。139-150（2014年；Zbl 1284.68392）
全文： 内政部
维杰·德·席尔瓦；利奥波德·哈勒；丹尼尔·克罗宁

抽象冲突驱动学习。 （英语） Zbl 1301.68156号

2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-1832-7）。143-154 (2013).
MSC公司：65年第68季度 06B99号 68号30 60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{V.D'Silva}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。143--154（2013；Zbl 1301.68156）
全文： 内政部
布莱恩，马丁；维杰·迪尔瓦；利奥波德·哈勒；阿尔贝托·格里乔；丹尼尔·克罗宁

对DPLL（T）的抽象解释。 （英语） Zbl 1426.68249号

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737455-475（2013年）。
MSC公司：68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Brain}等人，Lect。注释计算。科学。7737，455--475（2013；Zbl 1426.68249）
全文： 内政部
维杰·德·席尔瓦；丹尼尔·克罗宁

语法抽象。 （英语） Zbl 1426.68157号

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737, 396-413 (2013).
MSC公司：68问题55 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛V.D’Silva｝和\textit｛D.Kroening｝，Lect。注释计算。科学。7737396--413（2013年；Zbl 1426.68157）
全文： 内政部
阿尔加莱、杰德；丹尼尔·克罗宁；文森特·尼马尔；迈克尔·陶奇尼格

通过程序转换对弱内存进行软件验证。 （英语） Zbl 1381.68143号

Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792，512-532（2013）。
MSC公司：60年第68季度 2007年7月68日 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{J.Algale}等人，Lect。注释计算。科学。7792212-532（2013年；兹比尔1381.68143）
全文： 内政部 arXiv公司
穆罕默德·纳西姆·塞吉尔；丹尼尔·克罗宁

反例引导的前提推理。 （英语） Zbl 1381.68180号

Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792，451-471（2013）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Seghir}和\textit{D.Kroening}，莱克特。注释计算。科学。7792、451--471（2013年；Zbl 1381.68180）
全文： 内政部
阿拉斯泰尔·唐纳森。；亚历山大·凯撒；丹尼尔·克罗宁；迈克尔·陶奇尼格；托马斯·沃尔

对称并发程序的反示例引导抽象细化。 （英语） 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）
全文： 内政部 链接
亚历山大·凯撒；丹尼尔·克罗宁；托马斯·沃尔

通过最小化证明进行有效覆盖性分析。 （英语） Zbl 1364.68138号

Koutny，Maciej（编辑）等人，CONCUR 2012——并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，500-515（2012）。
MSC公司：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Kaiser}等人，Lect。注释计算。科学。7454500-515（2012年；Zbl 1364.68138）
全文： 内政部
维杰·德·席尔瓦；利奥波德·哈勒；丹尼尔·克罗宁；迈克尔·陶奇尼格

数字边界分析与冲突驱动学习。 （英语） Zbl 1352.68060号

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，48-63（2012）。
MSC公司：68号30 65克40
PDF格式BibTeX公司 XML格式引用
\textit{V.D'Silva}等人，Lect。注释计算。科学。7214，48-63（2012；Zbl 1352.68060）
全文： 内政部
丹尼尔·克罗宁；约尔·瓦克宁；斯特里赫曼（Ofer Strichman）；托马斯·沃尔；詹姆斯·沃雷尔

有界模型检查的线性完整性阈值。 （英语） 兹比尔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年；兹比尔1360.68592）
全文： 内政部
阿里亚克西·齐托维奇；娜塔莎·莎莉吉娜；Christoph M.温特斯泰格。；丹尼尔·克罗宁

回路总结和终止分析。 （英语） 兹比尔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。注释计算。科学。660581-95（2011年；Zbl 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）
全文： 内政部
安吉洛·布里洛特；丹尼尔·克罗宁；菲利普·吕默；托马斯·沃尔

超越了普雷斯伯格算法扩展中的无量词插值。 （英语） Zbl 1318.03045号

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

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

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，FMCO 2009，荷兰埃因霍温，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）
全文： 内政部
丹尼尔·克罗宁；杰罗姆·勒鲁；菲利普·吕默

无量词插值Presburger算法。 （英语） Zbl 1306.68148号

Fermüller，Christian G.（编辑）等人，《编程逻辑、人工智能和推理》。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。计算机科学课堂讲稿6397489-503（2010）。
MSC公司：68吨15 03C40号 30楼03号 60年第68季度 90C57型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}等人，Lect。注释计算。科学。6397489--503（2010年；Zbl 1306.68148）
全文： 内政部 arXiv公司
安吉洛·布里洛特；丹尼尔·克罗宁；菲利普·吕默；托马斯·沃尔

无量词Presburger算法的插值序列演算。 （英语） Zbl 1291.03112号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，384-399（2010）。
MSC公司：30楼03号 03B35型 03C40号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Brillout}等人，Lect。注释计算。科学。6173384--399（2010年；Zbl 1291.03112）
全文： 内政部
拜伦·库克；丹尼尔·克罗宁；菲利普·吕默；Christoph M.温特斯泰格。

位向量关系的排序函数综合。 （英语） Zbl 1284.68172号

Esparza，Javier（编辑）等人，《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿6015236-250（2010）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。6015236-250（2010年；Zbl 1284.68172）
全文： 内政部
维杰·德·席尔瓦；丹尼尔·克罗宁；米特拉·普兰达尔；乔治·威森巴赫

插值强度。 （英语） Zbl 1273.68225号

Barthe，Gilles（编辑）等人，《验证、模型检验和抽象解释》。第11届国际会议，2010年VMCAI，西班牙马德里，2010年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11318-5/pbk）。计算机科学课堂讲稿5944129-145（2010）。
MSC公司：60年第68季度 03B35型 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{V.D'Silva}等人，Lect。注释计算。科学。5944、129--145（2010年；Zbl 1273.68225）
全文： 内政部
尤里·切比里亚克；托马斯·沃尔；丹尼尔·克罗宁；利奥波德·哈勒

在二元超立方体中寻找精益诱导循环。 （英语） 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）
全文： 内政部 链接
杰拉德·巴斯勒；米歇尔，马祖奇；托马斯·沃尔；丹尼尔·克罗宁

并发软件的符号计数器抽象。 （英语） Zbl 1242.68055号

Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643，64-78（2009）。
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Basler}等人，Lect。注释计算。科学。5643、64--78（2009年；Zbl 1242.68055）
全文： 内政部
丹尼尔·克罗宁；娜塔莎·莎莉吉娜；斯特凡诺·托内塔；阿里亚克西·齐托维奇；Christoph M.温特斯泰格。

使用抽象变换器的循环摘要。 （英语） 兹比尔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。注释计算。科学。531111-125（2008年；兹bl 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）
全文： 内政部
丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman）

决策程序。算法观点。由Randal E.Bryant作序。 （英语） Zbl 1149.68071号

理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 978-3-540-74104-6/hbk）。十六、304页。(2008).
审核人：克里斯蒂安·波斯托夫（圣奥古斯丁）
MSC公司：68-01 68-02 68吨15 68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}和\textit{O.Strichman}，决策程序。算法观点。兰达尔·布莱恩特（Randal E.Bryant）的前言。柏林：施普林格出版社（2008；Zbl 1149.68071）
托尼·尤西拉；阿明·比尔；卡斯滕·辛兹；丹尼尔·科宁；Christoph M.温特斯泰格。

QBF统一校对的第一步。 （英语） Zbl 1214.68334号

Marques-Silva，Joáo（编辑）等人，《可满足性测试的理论和应用——SAT 2007》。第十届国际会议，葡萄牙里斯本，2007年5月28日至31日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72787-3/pbk）。计算机科学讲座笔记4501201-214（2007）。
MSC公司：68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Jussila}等人，Lect。注释计算。科学。4501201--214（2007；Zbl 1214.68334）
全文： 内政部
伊戈尔·齐诺维克；丹尼尔·克罗宁；尤里·切比里亚克

识别沿循环吸引子具有周期轨道的玻璃网络的代数算法。 （英语） 兹比尔1127.92004

Anai，Hirokazu（编辑）等，代数生物学。第二届国际会议，2007年7月2日至4日，奥地利哈根堡堡，AB 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73432-1/pbk）。计算机科学课堂讲稿4545140-154（2007）。
MSC公司：92B05型 68瓦30 68瓦99
PDF格式BibTeX公司 XML格式引用
\textit{I.Zinovik}等人，Lect。注释计算。科学。4545，140--154（2007；Zbl 1127.92004）
全文： 内政部 链接
Randal E.布莱恩特。；丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（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）
全文： 内政部
丹尼尔·克罗宁

使用有界模型检查计算过逼近。 （英语） Zbl 1272.68264号

Biere，Armin（ed.）等人，《第三届有界模型检验国际研讨会论文集》（BMC 2005），英国爱丁堡，2005年7月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》144，第1期，79-92（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}，电子。注释Theor。计算。科学。144，No.1，79--92（2006；Zbl 1272.68264）
全文： 链接
丹尼尔·克罗宁；娜塔莎·莎莉吉娜

位向量逻辑的近似谓词图像。 （英语） Zbl 1180.68175号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，242-256（2006）。
MSC公司：60年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}和\textit{N.Sharygina}，莱克特。注释计算。科学。3920、242--256（2006年；Zbl 1180.68175）
全文： 内政部
亚历克斯·格罗斯；丹尼尔·克罗宁

充分利用BMC反例。 （英语） Zbl 1272.68252号

Biere，A.（ed.）等人，《第二届有界模型检验国际研讨会论文集》（BMC 2004），美国马萨诸塞州波士顿，2004年7月18日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》119，第2期，67-81（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Groce}和\textit{D.Kroening}，电子。注释Theor。计算。科学。119，第2号，67--81（2005；Zbl 1272.68252）
全文： 链接
拜伦·库克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜

异步布尔程序的符号模型检查。 （英语） Zbl 1151.68367号

Patrice Godefroid（编辑），模型检查软件。第十二届SPIN国际研讨会，美国加利福尼亚州旧金山，2005年8月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28195-9/pbk）。计算机科学课堂讲稿3639，75-90（2005）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。3639，75-90（2005年；Zbl 1151.68367）
全文： 内政部
拜伦·库克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜

Cogent：程序验证的精确定理证明。 （英语） Zbl 1081.68673号

Etessami，Kousha（编辑）等人，计算机辅助验证。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576296-300（2005）。
MSC公司：68吨15 68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。3576，296--300（2005；Zbl 1081.68673）
全文： 内政部
埃德蒙·克拉克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜；Karen约拉夫

SATABS:ANSI-C基于SAT的谓词抽象。 （英语） Zbl 1087.68586号

Halbwachs，Nicolas（ed.）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440570-574（2005）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。3440570--574（2005年；Zbl 1087.68586）
全文： 内政部
埃德蒙·克拉克；丹尼尔·克罗宁；约尔·瓦克宁；斯特里赫曼（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）
全文： 内政部
埃德蒙·克拉克；丹尼尔·克罗宁；弗拉维奥·勒尔达

用于检查ANSI-C程序的工具。 （英语） Zbl 1126.68470号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988168-176（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。2988168--176（2004年；Zbl 1126.68470）
全文： 内政部
亚历克斯·格罗斯；丹尼尔·克罗宁；弗拉维奥·勒尔达

理解反例解释. （英语） 兹比尔1103.68620

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学课堂讲稿3114453-456（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Groce｝等人，Lect。注释计算。科学。3114453-456（2004；Zbl 1103.68620）
全文： 内政部
丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（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）
全文： 内政部
斯文·拜尔；克里斯·雅各比；丹尼尔·科宁；德克·莱恩巴赫；沃尔夫冈·保罗。

实例化未解释的功能单元和存储系统：VAMP的功能验证。 （英语） Zbl 1179.68009号

Geist，Daniel（编辑）等人，《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议，CHARME 2003，意大利拉奎拉，2003年10月21日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20363-X/pbk）。莱克特。注释计算。科学。2860, 51-65 (2003).
MSC公司：2007年7月68日 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Beyer}等人，Lect。注释计算。科学。2860，51-65（2003年；兹比尔1179.68009）
全文： 内政部
丹尼尔·克罗宁；斯特里赫曼（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｝，Lect。注释计算。科学。2575298--309（2003年；Zbl 1022.68579）
全文： 链接
Silvia M.米勒。；沃尔夫冈·保罗。；丹尼尔·克罗宁

用延迟PC验证具有延迟分支的处理器的正确性。 （英语） Zbl 0956.68520号

Althöfer，Ingo（编辑）等人，《数字、信息和复杂性》。在鲁道夫·阿尔斯韦德60岁生日之际献给他。多德雷赫特：Kluwer学术出版社。579-588 (2000).
MSC公司：60年第68季度 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Mueller}等人，in：数字、信息和复杂性。在鲁道夫·阿尔斯韦德60岁生日之际献给他。多德雷赫特：Kluwer学术出版社。579-588（2000年；兹bl 0956.68520）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件