何塞·梅塞盖尔 广义重写理论与连贯完成。 (英语) 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) 全文: 内政部 链接
曹勤祥;Lennart贝林格;塞缪尔·格鲁特;约西亚·多兹;安德鲁·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) 全文: 内政部 链接
安德烈·阿鲁索艾;瑟·特凡·乔巴赫;多雷尔·卢卡努;格里戈尔·罗苏;弗拉德·鲁苏;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)
莫雷诺,吉纳斯;詹姆·佩纳巴德;JoséA.Riaza。;德国维达尔 用于有效调整模糊逻辑程序的符号执行和阈值。 (英语) Zbl 1485.68039号 Hermenegildo,Manuel V.(编辑)等,基于逻辑的程序合成和转换。第26届国际研讨会,LOPSTR 2016,英国爱丁堡,2016年9月6日至8日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10184, 131-147 (2017).MSC公司:68N17号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Moreno}等人,Lect。注释计算。科学。10184、131--147(2017;Zbl 1485.68039) 全文: 内政部
巴特·雅各布斯;福雷德里克·沃格尔;弗兰克·皮森斯 Featherweight VeriFast。 (英语) Zbl 1448.68221号 日志。方法计算。科学。 11,第3号,第19号论文,57页(2015).MSC公司:68号30 03B70号 68甲15 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}等人,日志。方法计算。科学。11,第3号,第19号论文,57页(2015;Zbl 1448.68221) 全文: 内政部 arXiv公司
伯恩哈德·贝克特;弗拉基米尔·克莱巴诺夫 多线程程序演绎验证的动态逻辑。 (英语) 兹比尔1298.68165 正式Asp。计算。 25,第3期,405-437(2013).MSC公司:60年第68季度 68号30 03B70号 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{B.Beckert}和\textit{V.Klebanov},正式Asp。计算。25,第3号,405--437(2013;Zbl 1298.68165) 全文: 内政部
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;Zbl 1281.68082) 全文: 内政部
詹姆斯·莫里斯(James M.Morris)。;马克·霍华德 通过超有限理想机的符号执行进行程序验证。 (英语) Zbl 0786.68066号 90年计算机辅助验证。第二届DIMACS研讨会,新泽西州新不伦瑞克,1990年,DIMACS,Ser。谨慎。数学。西奥。计算。科学。3, 441-462 (1991).MSC公司:60年第68季度 03时10分 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)
Kazuhito Ohmaki;佐托鲁富村;井上,Katsuro;伊藤忠雄;伊藤庆一;Koji Torii公司 术语:方程式语言的并行可执行图形约简机。 (英语) Zbl 0681.68035号 并行计算。 11,第1期,第1-16页(1989年).MSC公司:第68页第25页 68瓦30 03C05号机组 68N99型 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Ohmaki}等人,《并行计算》。11,No.1,1--16(1989;Zbl 0681.68035) 全文: 内政部