何塞·梅塞盖尔 广义重写理论与连贯完成。 （英语） 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}，莱克特。注释计算。科学。11152、164--183（2018年；Zbl 1517.68166） 全文： 内政部 链接
扬·胡克尔海姆;罗自清;纳拉亚南，斯里·哈里·克里希纳;斯蒂芬·西格尔;保罗·D·霍夫兰。 验证可微程序的属性。 （英语） 兹比尔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） 全文： 内政部
曹勤祥;伦纳特·贝林格;塞缪尔·格鲁特;乔赛亚·多兹;安德鲁·W·阿佩尔。 VST-Floyd：用于验证C程序正确性的分离逻辑工具。 （英语） Zbl 1451.68169号 J.汽车。推理 61，编号1-4，367-422（2018）.MSC公司：60年第68季度 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Cao}等人，J.Autom。推理61，No.1--4367--422（2018；Zbl 1451.68169） 全文： 内政部 链接
杰拉·亨塞尔;吉尔根·吉斯尔;弗罗恩，弗洛里安;托马斯·斯特罗德 符号执行的位向量算法程序的终止和复杂性分析。 （英语） Zbl 1395.68093号 J.日志。阿尔盖布。方法计划。 97, 105-130 (2018).MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hensel}等人，J.Log。阿尔盖布。方法计划。97、105——130（2018；Zbl 1395.68093） 全文： 内政部
李强;张玉楠;苏丽雅;吴，杨;马，新建;杨泽明 一种改进的方法来揭示恶意软件的隐藏行为。 （英语） 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） 全文： 内政部
小岛贤介;赤泉伊马尼西;Atsushi Igarashi 自动验证无赛跑GPU程序的功能正确性。 （英语） Zbl 1426.68054号 J.汽车。推理 60，第3号，279-298（2018）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}等人，J.Autom。推理60，No.3，279--298（2018；Zbl 1426.68054） 全文： 内政部