×

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

最新 引文 关联
费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） 兹比尔1529.68152

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).
MSC公司：60年第68季度 68号30 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Bauer-Marquart}等人，Lect。注释计算。科学。14000、181--198（2023年；Zbl 1529.68152）
全文： 内政部 arXiv公司
德米特里·罗兹普洛哈斯;德米特里·布里切夫

交织搜索的调度复杂性。 （英语） Zbl 07570119号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 152-170 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Rozplokhas}和\textit{D.Boulytchev}，莱克托。注释计算。科学。13215、152--170（2022；Zbl 07570119）
全文： 内政部 arXiv公司
萨拉特·钱德拉·瓦拉纳西;埃尔默·萨拉扎;尼拉吉·米塔尔;戈帕尔·古普塔

根据答案集编程规范合成命令代码。 （英语） Zbl 1502.68075号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 75-89 (2020).
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.C.Varanasi}等人，Lect。注释计算。科学。12042，75-89（2020；Zbl 1502.68075）
全文： 内政部
莫雷诺，吉纳斯;若泽·里亚扎。

用于调整完全集成模糊逻辑程序的符号相似关系。 （英语） Zbl 1478.68042号

Gutiérrez-Basulto，Víctor（编辑）等人，《规则与推理》。第四届国际联席会议，RuleML+RR 2020，挪威奥斯陆，2020年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12173, 150-158 (2020).
MSC公司：68N17号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{G.Moreno}和\textit{J.A.Riaza}，莱克特。注释计算。科学。12173，150-158（2020；Zbl 1478.68042）
全文： 内政部
雅各布·范格芬;卢克·纳尔逊;伊西尔·迪利格;王熙;埃米娜·托拉克

为内核内DSL合成JIT编译器。 （英语） Zbl 1478.68049号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 564-586 (2020).
MSC公司：68N20型 68N25号
PDF格式BibTeX公司 XML格式引用
\textit{J.Van Geffen}等人，Lect。注释计算。科学。12225，564--586（2020；Zbl 1478.68049）
全文： 内政部
丹尼尔·施梅尔;朱利安·比宁;塞萨尔·罗德里格斯;戴维·拉普雷尔;克劳斯·韦尔

用于测试多线程程序的符号部分顺序执行。 （英语） Zbl 1478.68046号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21-24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224, 376-400 (2020).
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Schemmel}等人，Lect。注释计算。科学。12224，376--400（2020年；Zbl 1478.68046）
全文： 内政部 arXiv公司
伯恩哈德·艾切尼格（Bernhard K.Aichernig）。

代数语义、指称语义和操作语义的测试视角。 （英语） Zbl 07168632号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11885, 22-38 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.K.Aichernig}，莱克特。注释计算。科学。11885，22-38（2019；Zbl 07168632）
全文： 内政部
何塞·梅塞盖尔

广义重写理论与连贯完成。 （英语） Zbl 1517.68166号

Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 164-183 (2018).
MSC公司：2012年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。注释计算。科学。11152164-183（2018年；兹比尔1517.68166）
全文： 内政部 链接
扬·胡克尔海姆;罗自清;纳拉亚南，斯里·哈里·克里希纳;斯蒂芬·西格尔;保罗·D·霍夫兰。

验证可微程序的属性。 （英语） Zbl 1511.68078号

安德烈亚斯·波德尔斯基（编辑），《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11002, 205-222 (2018).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hückelheim}等人，Lect。注释计算。科学。11002205--222（2018；Zbl 1511.68078）
全文： 内政部
丹尼尔·施梅尔;朱利安·勃宁;奥斯卡·索里亚·达斯特曼;诺尔，托马斯;克劳斯·韦尔

真实世界软件的符号活性分析。 （英语） Zbl 1511.68089号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆：斯普林格公开赛。莱克特。注释计算。科学。10982, 447-466 (2018).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Schemmel}等人，Lect。注释计算。科学。10982、447--466（2018年；Zbl 1511.68089）
全文： 内政部
香塔尔·凯勒

Isabelle/HOL中基于策略程序的测试和有界验证。 （英语） Zbl 1509.68167号

Catherine Dubois（编辑）等人，《测试和证明》。2018年6月27日至29日，作为2018年STAF的一部分，在法国图卢兹举行了第12届2018年TAP国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10889, 103-119 (2018).
MSC公司：60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Keller}，莱克特。注释计算。科学。10889、103-119（2018年；Zbl 1509.68167）
全文： 内政部 哈尔
梁明月;李周军;曾强;方哲军

通过符号执行和编译优化消除虚拟化的模糊代码。 （英语） Zbl 1452.94071号

Qing，Sihan（编辑）等，《信息与通信安全》。2017年ICICS第19届国际会议，2017年12月6日至8日，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10631, 313-324 (2018).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Liang}等人，Lect。注释计算。科学。10631、313--324（2018；Zbl 1452.94071）
全文： 内政部
李强;张云安;苏丽娅;吴，杨;马，新建;杨泽明

一种改进的方法来揭示恶意软件的隐藏行为。 （英语） Zbl 1439.94043号

陈晓峰（编辑）等，《信息安全与密码学》。2017年11月3日至5日，第13届国际会议，Inscrypt 2017，中国西安。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10726, 362-382 (2018).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Q.Li}等人，Lect。注释计算。科学。10726、362--382（2018年；Zbl 1439.94043）
全文： 内政部
伊曼·布迪巴;克里斯托夫·加斯顿;勒加尔，帕斯卡尔;维吉尔·普雷沃斯托

带有功能总结的过渡系统的符号执行。 （英语） Zbl 1491.68108号

Gabmeyer，Sebastian（编辑）等人，《测试与证明》。2017年7月19日至20日，作为2017年STAF的一部分，在德国马尔堡举行了2017年第11届国际会议TAP。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10375, 41-58 (2017).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Boudhiba}等人，Lect。注释计算。科学。10375，41-58（2017；Zbl 1491.68108）
全文： 内政部 链接
安德烈·阿鲁索艾;瑟·特凡·乔巴赫;多雷尔·卢卡努;格里戈·罗苏;弗拉德·鲁苏;erbénuţ\355 ;Ņé，Traian-Florin

程序逻辑及其应用。 （英语） Zbl 1389.68009号

鲁姆牧师。数学。Pures应用程序。 62，第1期，137-154（2017）.
审核人：Fevzi Belli（帕德博恩）
MSC公司：68号30 03B70号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Arusoaie}等人，Rev.Roum。数学。Pures应用程序。62，第1号，137--154（2017；Zbl 1389.68009）
做，Quoc Huy;理查德·布贝尔;雷纳·哈内尔

通过指导实验推断秘密。 （英语） Zbl 1444.68048号

Hung，Dang Van（编辑）等人，《计算的理论方面——2017年ICTAC》。第14届国际学术讨论会，越南河内，2017年10月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10580, 269-287 (2017).
MSC公司：68号30 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{Q.H.Do}等人，Lect。注释计算。科学。10580269-287（2017年；兹bl 1444.68048）
全文： 内政部
莫雷诺，吉纳斯;詹姆·佩纳巴德;JoséA.Riaza。;德国维达尔

用于有效调整模糊逻辑程序的符号执行和阈值。 （英语） Zbl 1485.68039号

Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 131-147 (2017).
MSC公司：68N17号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{G.Moreno}等人，Lect。注释计算。科学。10184、131--147（2017；Zbl 1485.68039）
全文： 内政部
托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;Schneider Kamp，彼得;科尼利厄斯·阿斯切尔曼

使用指针算法自动证明程序的终止和内存安全。 （英语） 兹比尔1409.68077

J.汽车。推理 58，第1号，33-65（2017）.
MSC公司：68号30 2012年第68季度 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Ströder}等人，J.Autom。推理58，No.1，33--65（2017；Zbl 1409.68077）
全文： 内政部 链接
弗拉德·鲁苏;多雷尔·卢卡努;erbénuţ\355 ;Ņé，Traian-Florin;安德烈·阿鲁索艾;安德烈·特夫内斯库;格里高·罗什乌

语言定义是重写理论。 （英语） Zbl 1356.68125号

J.日志。阿尔盖布。方法程序。 85，第1部分第1号，98-120（2016）.
MSC公司：2012年第68季度 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Rusu}等人，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，98-120（2016；Zbl 1356.68125）
全文： 内政部 哈尔
罗曼·艾萨特;福雷德里克·沃辛;沃尔夫，伯克哈特

通过符号执行技术消除不可行的路径。路径的正确性和保存证明。 （英语） Zbl 1478.68140号

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807，36-51（2016）。
MSC公司：60年第68季度 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Aissat}等人，Lect。注释计算。科学。9807,36-51（2016；Zbl 1478.68140）
全文： 内政部
本杰明·希勒里;埃里克·默瑟;内哈·隆塔;人，苏赛特

符号执行的精确堆摘要。 （英语） Zbl 1475.68090号

Jobstmann，Barbara（编辑）等人，《验证、模型检查和抽象解释》。2016年1月17日至19日，第17届国际会议，VMCAI 2016，美国佛罗里达州圣彼得堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9583, 206-225 (2016).
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{B.Hillery}等人，Lect。注释计算。科学。9583、206--225（2016年；1475.68090赞比亚比索）
全文： 内政部
Phan，Quoc-Sang先生

作为DPLL模理论的符号执行。 （英语） Zbl 1427.68050号

Neykova，Rumyana（编辑）等人，2014年帝国理工学院计算机学生研讨会，ICCSW’14，英国伦敦，2014年9月25日至26日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。OASIcs–OpenAccess服务器。通知。43, 58-65 (2014).
MSC公司：68号30 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Q.-S.Phan}，OASIcs--OpenAccess服务器。通知。43，58-65（2014年；兹bl 1427.68050）
全文： 内政部
萨巴萨博;马洛什·科图尔;理查德·佩特鲁什

仔细观察使用符号执行的软件重构。 （英语） Zbl 1372.68069号

Kovács，Emőd（ed.）等人，《第九届应用信息学国际会议论文集》（ICAI 2014），匈牙利埃格尔，2014年1月29日至2月1日。第2卷。埃格尔：Eszterhazy Karoly应用科学大学（ISBN 978-615-5297-19-9）。309-316 (2014).
MSC公司：68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{C.Szabó}等人，in：第九届应用信息学国际会议论文集（ICAI 2014），匈牙利埃格尔，2014年1月29日至2月1日。第2卷。埃格：Eszterhazy Karoly应用科学大学。309--316（2014；Zbl 1372.68069）
全文： 内政部
阮，Phüc c。;萨姆·托宾·霍施塔特;戴维·范霍恩

软合同验证。 （英语） Zbl 1346.68062号

2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。139-152 (2014).
MSC公司：68号30 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Nguyen}等人，in：第19届ACM SIGPLAN函数编程国际会议论文集，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机协会（ACM）。139-152（2014；Zbl 1346.68062）
全文： 内政部 arXiv公司
伯爵·T·巴尔。;Vo和Thanh;勒、伏;苏振东

自动检测浮点异常。 （英语） Zbl 1301.68087号

2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。549-560 (2013).
MSC公司：68甲19 68号30 65G99型 65岁99岁
PDF格式BibTeX公司 XML格式引用
\textit{E.T.Barr}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。549-560（2013；Zbl 1301.68087）
全文： 内政部
Phan，Quoc-Sang先生

通过符号执行进行自我组合。 （英语） Zbl 1281.68082号

Jones，Andrew V.（编辑）等人，2013年帝国理工学院计算机专业学生研讨会ICCSW’13，英国伦敦，2013年9月26日至27日。第三次研讨会论文集。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-63-7）。OASIcs–信息学中的OpenAccess系列35，95-102，仅电子版（2013年）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Q.-S.Phan}，OASIcs--OpenAccess服务器。通知。35，95-102（2013年；兹比尔1281.68082）
全文： 内政部
何塞·米盖尔·罗哈斯;米盖尔·戈梅斯·扎马洛亚

约束逻辑编程中引导测试用例生成的框架。 （英语） 兹比尔1394.68056

Albert，Elvira（编辑），基于逻辑的程序合成和转换。第22届国际研讨会，2012年LOPSTR，比利时鲁汶，2012年9月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-38196-6/pbk）。计算机科学课堂讲稿7844176-193（2013）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Rojas}和\textit{M.Gómez-Zamalloa}，莱克特。注释计算。科学。7844、176--193（2013；Zbl 1394.68056）
全文： 内政部
艾尔维拉·阿尔伯特;普里阿雷纳斯;米盖尔·戈梅斯·扎马洛亚

在CLP中测试并发对象。 （英语） Zbl 1281.68074号

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，98-108，仅电子版（2012）。
MSC公司：68号30 68N17号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，LIPIcs——莱布尼茨国际程序。通知。17、98——108（2012；Zbl 1281.68074）
全文： 内政部
威廉·R·哈里斯。;桑卡拉纳拉亚南，斯里拉姆;弗兰乔·伊万契奇;阿尔蒂·古普塔

通过可满足性模路径程序进行程序分析。 （英语） 兹比尔1312.68058

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。71-82 (2010).
MSC公司：68号30 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.R.Harris}等人，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。71-82（2010；Zbl 1312.68058）
全文： 内政部 链接
雅各布兹维奇梅尔

尖端的计时分析技术。 （英语） Zbl 1237.68067号

Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，303-305，仅电子版（2010年）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Zwirchmayr}，LIPIcs——莱布尼茨国际程序。通知。7303——305（2010年；Zbl 1237.68067）
全文： 内政部 链接
萨布丽娜·冯·斯特普;亨利克·博恩坎普;朱利安·施马尔茨

符号时间自动机的一致性测试关系。 （英语） Zbl 1290.68085号

Chatterjee，Krishnendu（编辑）等人，时间系统的形式化建模和分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15296-2/pbk）。计算机科学课堂讲稿6246243-255（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.von Styp}等人，Lect。注释计算。科学。6246、243-255（2010年；Zbl 1290.68085）
全文： 内政部
波尔瓦坦，巴赫曼;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴

使用符号执行对Reo电路进行自动分析。 （英语） Zbl 1364.68142号

Salaün，Gwen（编辑）等人，第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），希腊罗德斯，2009年7月11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记255137-158（2009）。
MSC公司：68号30 65年第68季度 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Pourvatan}等人，《电子》。注释Theor。计算。科学。255、137--158（2009年；Zbl 1364.68142）
全文： 链接
尼古拉斯·拉宾

具有无界变量的开放系统的基于符号执行的模型检查。 （英语） Zbl 1246.68157号

凯瑟琳·杜波伊斯（编辑），《测试与证明》。第三届国际会议，TAP 2009，瑞士苏黎世，2009年7月2日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02948-6/pbk）。计算机科学讲座笔记5668137-152（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.拉宾}，莱克特。注释计算。科学。5668、137--152（2009年；Zbl 1246.68157）
全文： 内政部
恩格尔，基督徒;雷纳·哈内尔

根据正式证明生成单元测试。 （英语） Zbl 1196.68046号

古瑞维奇、尤里（编辑）等，《测试与证明》。2007年2月12日至13日在瑞士苏黎世举行的TAP 2007第一届国际会议。修订论文。柏林：施普林格出版社（ISBN 978-3-540-73769-8/pbk）。《计算机科学讲义》4454169-188（2007）。
MSC公司：68号30 68甲19 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Engel}和\textit{R.Hähnle}，莱克特。注释计算。科学。4454、169--188（2007年；Zbl 1196.68046）
全文： 内政部
帕斯卡尔·勒加尔;尼古拉斯·拉宾;阿西亚·图伊尔

细化测试的符号执行技术。 （英语） Zbl 1196.68049号

古瑞维奇、尤里（编辑）等，《测试与证明》。2007年2月12日至13日在瑞士苏黎世举行的TAP 2007第一届国际会议。修订论文。柏林：施普林格出版社（ISBN 978-3-540-73769-8/pbk）。计算机科学课堂讲稿4454131-148（2007）。
MSC公司：68号30 60年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{P.Le Gall}等人，Lect。注释计算。科学。4454、131--148（2007年；Zbl 1196.68049）
全文： 内政部
克里斯托弗·加斯顿;帕斯卡尔·勒加尔;尼古拉斯·拉宾;阿西亚·图伊尔

用于测试目的定义的符号执行技术。 （英语） Zbl 1185.68413号

Uyar，M.U mit（编辑）等人，《通信系统测试》。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，美国纽约，2006年5月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34184-6/pbk）。计算机科学课堂讲稿3964，1-18（2006）。
MSC公司：60年第68季度 68米15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Gaston}等人，Lect。注释计算。科学。3964，1-18（2006年；兹bl 1185.68413）
全文： 内政部
迈克尔·巴尔泽

使用符号执行验证并发系统。时间推理是带有少量归纳的符号执行。 （英语） Zbl 1100.68063号

Berichte aus der Informatik公司亚琛：Shaker Verlag；奥格斯堡：奥格斯伯格大学，Fakultät für Angewandte Informatik（Diss.）（ISBN 3-8322-5074-3/pbk）。xii，229页。(2006).
审核人：Ryszard Janicki（汉密尔顿）
MSC公司：60年第68季度 68-01 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Balser}，使用符号执行验证并发系统。时间推理是带有少量归纳的符号执行。亚琛：Shaker Verlag；奥格斯堡：奥格斯伯格大学，Fakultät für Angewandte Informatik（Diss.）（2006；Zbl 1100.68063）
全文： 链接
西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔夫拉兹·库希德;洛瑞，迈克;科琳娜·帕萨雷努;格里高·罗什乌;塞·库什克;维瑟，威廉;华盛顿，里奇

结合测试用例生成和运行时验证。 （英语） Zbl 1080.68062号

西奥。计算。科学。 336，编号2-3，209-234（2005）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Artho}等人，Theor。计算。科学。336，编号2--3，209--234（2005；Zbl 1080.68062）
全文： 内政部
米雷尔·布罗基

混合系统互仿真和验证的几何方法。 （英语） 兹伯利0928.93024

Vaandrager，Frits W.（编辑）等，《混合系统：计算和控制》。第二届国际研讨会，HSCC’99。Berg en Dal，荷兰，1999年3月29日至31日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1569, 61-75 (1999).
审核人：J.Hammer（盖恩斯维尔）
MSC公司：93立方 93对29 53立方厘米 58甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Broucke}，莱克特。注释计算。科学。1569，61-75（1999；Zbl 0928.93024）
詹姆斯·莫里斯（James M.Morris）。;霍华德，马克

通过超有限理想机的符号执行进行程序验证。 （英语） Zbl 0786.68066号

90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 441-462 (1991).
MSC公司：60年第68季度 03H10年上半年 65G99型
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Morris}和\textit{M.Howard}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。441--462（1991年；Zbl 0786.68066）
科斯蒂尔科，V.S。

合成“for”循环和数据结构的编程函数。 （英语。俄文原件） 兹比尔0656.68024

控制论 22，第4期，423-431（1986）; 译自Kibernetika，1986年，第4期，第13-19页（1986年）。
审核人：L.布里姆
MSC公司：60年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{V.S.Kostyrko}，《控制论》22，第4期，423--431（1986；Zbl 0656.68024）；译自Kibernetika 1986年，第4期，第13-19期（1986年）
全文： 内政部
Chandrasekaran，B。（编辑）;Radichi，S。（编辑）
[Zweben，S.H。;怀特，L.J。;C·盖齐。;奥斯特维尔，L.J。;L.D.福斯迪克。;R.N.泰勒。;洛杉矶克拉克。;D.J.理查森。;科恩，E.I。;泽尔，S.J。;豪登，W.E。;巴德·T·A。;R·E·费尔利。;E.F.米勒。;亨德森，J.B。;马普，T.E。;Cicu，A。;P.德加诺。;列维，G。;塞勒坦诺，A。;利古里，F。;A.哈雷。;塞里亚尼，M。;M.迈奥基。]

计算机程序测试。1981年6月29日至7月3日，在意大利乌尔比诺的索盖塔举行的计算机程序测试暑期学校会议记录。 （英语） Zbl 0486.68005号

阿姆斯特丹，纽约，牛津：North-Holland Publishing Company。八、 326页42.50美元；英国国防部。100.00 (1981).
MSC公司：68-06 60年第68季度 00亿Bxx 68兰特
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件