×

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

最新的 引文 关联
克里斯托夫·马提亚；詹斯·佩格尔；弗洛里安·祖勒格

保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 （英语） Zbl 07650597号

ACM事务处理。计算。日志。 24，第1期，第1号论文，76页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{C.Matheja}等人，《美国医学杂志》。计算。日志。24，第1期，第1号论文，76页（2023；Zbl 07650597）
全文： 内政部 arXiv公司 链接
凯文·巴茨；伊拉·费塞费尔特；马文·詹森；Joost-Pieter卡托恩；弗洛里安·科勒；克里斯托夫·马提亚；诺尔，托马斯

定量分离逻辑中蕴含检查的基础。 （英语） Zbl 1528.68208号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13240, 57-84 (2022).
MSC公司：60年第68季度 03B70号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.Batz}等人，Lect。票据计算。科学。13240，57-84（2022；Zbl 1528.68208）
全文： 内政部 arXiv公司
安舒曼·莫汉；刘伟祥；阿奎那·霍伯

Dijkstra、Kruskal和Prim算法的C实现的功能正确性。 （英语） Zbl 1493.68216号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 801-826 (2021).
MSC公司：60年第68季度 68兰特 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Mohan}等人，Lect。票据计算。科学。12760、801--826（2021；Zbl 1493.68216）
全文： 内政部
沙迦·伊扎基；希拉·佩勒；纳迪亚·波里卡波娃；鲁本·罗伊，N.S。；伊利亚·谢尔盖

带有指针的程序演绎合成：技术、挑战、机会（特邀论文）。 （英语） Zbl 1493.68053号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 110-134 (2021).
MSC公司：68号01 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Itzhaky}等人，Lect。票据计算。科学。12759、110-134（2021年；Zbl 1493.68053）
全文： 内政部
阮，Thanh-Toan；Ta、Quang-Trung；伊利亚·谢尔盖；魏恩根·钦

使用演绎合成自动修复堆操作程序。 （英语） Zbl 1472.68040号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12597, 376-400 (2021).
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{T.-T.Nguyen}等人，Lect。票据计算。科学。12597，376--400（2021；Zbl 1472.68040）
全文： 内政部
丹尼尔·奈德；马杜苏丹，P。；沙姆布瓦迪蒂亚萨哈；普拉纳夫·加格；Park，大军

一种基于学习的方法，用于合成不完整验证引擎的不变量。 （英语） Zbl 1468.68074号

J.汽车。推理 第7期第64页，1523-1552页（2020年）.
MSC公司：68号30 68第05页 60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{D.Neider}等人，J.Autom。推理64，No.7，1523--1552（2020；Zbl 1468.68074）
全文： 内政部 arXiv公司
Pham、Long H。；Le，Quang Loc公司；Phan，Quoc Sang先生；孙骏；秦胜超

使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 （英语） Zbl 1437.68044号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11781, 209-227 (2019).
MSC公司：68号30 03B70号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{L.H.Pham}等人，Lect。票据计算。科学。11781、209--227（2019；Zbl 1437.68044）
全文： 内政部 arXiv公司 链接
沃伊特·哈夫勒纳；卢卡什，霍利克；Ondřej Lengál；汤姆·沃纳

自动使用惰性\（\mathrm中的术语{WS}k\mathrm{S}\）决策程序。 （英语） Zbl 07178983号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11716, 300-318 (2019).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{V.Havelena}等人，Lect。票据计算。科学。11716，300-318（2019；Zbl 07178983）
全文： 内政部 arXiv公司
汤姆·菲多尔；卢卡什，霍利克；彼得·扬克；Ondřej Lengál；汤姆·沃纳

WS1S的惰性自动机技术。 （英语） Zbl 1452.03090号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。10205, 407-425 (2017).
MSC公司：05年3月 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.Fiedor｝等人，Lect。票据计算。科学。10205，407——425（2017年；兹bl 1452.03090）
全文： 内政部 arXiv公司
陈、陶璐；宋，傅；吴志林

带有归纳定义的分离逻辑的可牵引性：超越列表。 （英语） Zbl 1442.03013号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第37条，第17页（2017年）。
MSC公司：03B70号 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.Chen｝等人，LIPIcs——莱布尼茨国际期刊。通知。85，第37条，第17页（2017；Zbl 1442.03013）
全文： 内政部
克里斯蒂娜·詹森；Jens Katelaan公司；克里斯托夫·马提亚；诺尔，托马斯；弗洛里安·祖勒格

符号叠分离逻辑鲁棒性的统一推理。 （英语） Zbl 1485.68068号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 611-638 (2017).
MSC公司：68号30 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Jansen}等人，Lect。票据计算。科学。10201、611--638（2017；Zbl 1485.68068）
全文： 内政部 arXiv公司 链接
Makoto Tatsuta；Le，Quang Loc公司；魏恩根·钦

带有归纳定义和Presburger算法的分离逻辑的决策过程。 （英语） Zbl 1485.03078号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10017, 423-443 (2016).
MSC公司：03B70号 03B25号 03英尺30英寸
PDF格式BibTeX公司 XML格式引用
\textit{M.Tatsuta}等人，Lect。票据计算。科学。10017、423--443（2016；Zbl 1485.03078）
全文： 内政部 链接
顾新才；陈、陶璐；吴志林

具有数据约束的线性组合分离逻辑的完整决策过程。 （英语） 兹比尔1475.68185

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9706, 532-549 (2016).
MSC公司：60年第68季度 03B70号 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Gu}等人，Lect。票据计算。科学。9706532--549（2016；Zbl 1475.68185）
全文： 内政部
阿桑卡亚·夏尔马；王胜毅；安德烈亚·科斯蒂亚；阿奎那·霍伯；魏恩根·钦

证明推理具有无穷性。 （英语） Zbl 1427.68054号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。第9109页，第496-513页（2015年）。
MSC公司：68号30 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Sharma}等人，Lect。票据计算。科学。9109496--513（2015；Zbl 1427.68054）
全文： 内政部
詹姆斯·布罗瑟斯顿；尼科斯·戈罗甘尼斯

通过基对近似消除分离逻辑中的归纳蕴涵。 （英语） Zbl 1471.03062号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9323, 287-303 (2015).
MSC公司：03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Brotherston}和\textit{N.Gorogannis}，莱克特。票据计算。科学。9323287-303（2015年；兹bl 1471.03062）
全文： 内政部 链接
秦胜超；何冠华；魏恩根·钦；杨红丽

用于自动程序验证的组合域上的不变量合成。 （英语） Zbl 1390.68190号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，304-325（2013）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Qin}等人，Lect。票据计算。科学。8051、304--325（2013；Zbl 1390.68190）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件