×

找到44个文档(结果1-44)

2022年4月3日,德国慕尼黑,HCVS/VPT 2022,第九届验证与合成Horn条款研讨会和第十届验证与程序转换国际研讨会会议记录。 (英语) Zbl 1522.68032号

理论计算机科学电子论文集(EPTCS)373.滑铁卢:开放出版协会(OPA)。第62页。,仅电子化、开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用

Quicksort的转换验证。 (英语) Zbl 07453193号

Fribourg,Laurent(ed.)等人,第八次验证和程序转换国际研讨会和第七次验证和综合Horn条款研讨会论文集,VPT/HCVS 2020,爱尔兰都柏林,2020年4月25日至26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)320、95-109(2020)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

排序程序属性的证明:Horn子句验证中的一个案例研究。 (英语) Zbl 1483.68189号

De Angelis,Emanuele(ed.)等人,《第六次Horn子句验证与合成研讨会论文集》,HCVS 2019,以及第三次程序等效与关系推理研讨会论文集,2019年4月6日至7日,捷克共和国布拉格,PERR 2019。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)29648-75(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

Erlang程序运行时错误检测的有界符号执行。 (英语) Zbl 1525.68008号

Kahsai,Temesghen(ed.)等人,《验证和合成Horn条款第五次研讨会论文集》,HCVS 2018,英国牛津,2018年7月13日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27819-26(2018)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

谓词配对与抽象用于关系验证。 (英语) Zbl 1508.68058号

Fioravanti,Fabio(编辑)等,基于逻辑的程序合成和转换。第27届国际研讨会,2017年LOPSTR,2017年10月10日至12日,比利时纳穆尔。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10855, 289-305 (2018).
PDF格式BibTeX公司 XML格式引用

使用约束Horn子句验证具有时间意识的业务流程。 (英语) Zbl 1485.68149号

Hermenegildo,Manuel V.(编辑)等人,基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10184, 38-55 (2017).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

从Horn子句验证条件中删除不必要的变量。 (英语) Zbl 1482.68136号

Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21949-55(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

通过Horn子句转换进行关系验证。 (英语) Zbl 1394.68227号

对手,Xavier(编辑),静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53412-0/pbk;978-3-562-53413-7/电子书)。计算机科学讲座笔记9837,147-169(2016)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修订了选定的论文。 (英语) Zbl 1320.68028号

计算机科学课堂讲稿8981.查姆:施普林格(ISBN 978-3-319-17821-9/pbk;978-3-316-17822-6/电子书)。xii,333页。(2015).
MSC公司:68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过结合迭代专门化和插值来验证程序。 (英语) Zbl 1464.68198号

Björner,Nikolaj(ed.)等人,《验证和综合Horn条款第一次研讨会会议记录》,HCVS 2014,奥地利维也纳,2014年7月17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)169,3-18(2014)。
MSC公司:60年第68季度 03C40
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

通过转换验证条件来验证数组程序。 (英语) Zbl 1428.68182号

McMillan,Kenneth L.(编辑)等人,《验证、模型检查和抽象解释》。2014年1月19日至21日,第15届国际会议,VMCAI 2014,美国加利福尼亚州圣地亚哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8318, 182-202 (2014).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过约束逻辑程序转换验证命令式程序。 (英语) Zbl 1464.68074号

Banerjee,Anindya(编辑)等人,《语义学、抽象解释和程序推理:纪念David A.Schmidt 60岁生日的论文》,2013年9月19日至20日,美国堪萨斯州曼哈顿。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)129186-210(2013)。
MSC公司:68号30 68N17号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

用于软件模型检查的带有约束泛化的专业化。 (英语) Zbl 1394.68072号

Albert,Elvira(编辑),基于逻辑的程序合成和转换。第22届国际研讨会,2012年LOPSTR,比利时鲁汶,2012年9月18-20日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-38196-6/pbk)。《计算机科学讲义》7844,51-70(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在程序专门化期间使用真正的放松。 (英语) Zbl 1377.68062号

维达尔·格曼(编辑),基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。2011年7月18日至20日,丹麦欧登塞。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-32210-5/pbk)。计算机科学课堂讲稿7225106-122(2012)。
MSC公司:68N17号 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过专门化改进无限状态系统的可达性分析。 (英语) Zbl 1348.68136号

Delzanno,Giorgio(编辑)等人,《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24287-8/pbk)。计算机科学课堂讲稿6945165-179(2011)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

验证无限状态系统的程序专门化:实验评估。 (英语) Zbl 1326.68184号

Alpunte,María(编辑),基于逻辑的程序合成和转换。2010年7月23日至25日在奥地利哈根堡举行的2010年LOPSTR第20届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-20550-7/pbk)。计算机科学课堂讲稿6564,164-183(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过程序转换确定全分支时间逻辑。 (英语) Zbl 1284.68413号

De Schreye,Danny(编辑),基于逻辑的程序合成和转换。第19届国际研讨会,2009年LOPSTR,2009年9月,葡萄牙科英布拉。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-12591-1/pbk)。计算机科学课堂讲稿6037,5-21(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

逻辑程序转换的自动正确性证明。 (英语) Zbl 1213.68207号

Dahl,Verónica(编辑)等人,《逻辑编程》。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74608-9/pbk)。计算机科学课堂讲稿4670364-379(2007)。
MSC公司:68号30 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用数组公式对参数化协议进行转换验证。 (英语) Zbl 1156.68474号

Hill,Patricia(编辑),《基于逻辑的程序综合与转换》。2005年9月7日至9日在英国伦敦举行的2005年LOPSTR第15届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-32654-0/pbk)。计算机科学课堂讲稿390123-43(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过程序转换实现协议的自动证明。 (英语) Zbl 1090.68067号

Dunin-Kȩplicz,Barbara(编辑)等人,《多智能体系统中的监控、安全和救援技术》。2004年6月7日至9日,在波兰波洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会(MSRAS 2004)上发表的部分稿件。柏林:施普林格出版社(ISBN 3-540-23245-1/pbk)。《软计算进展》,99-116(2005)。
PDF格式BibTeX公司 XML格式引用

局部分层约束逻辑程序的转换规则。 (英语) Zbl 1080.68010号

Bruynooghe,Maurice(编辑)等人,《计算逻辑中的程序开发》。基于逻辑的程序开发的十年研究进展。柏林:施普林格出版社(ISBN 3-540-22152-2/pbk)。计算机科学课堂讲稿3049291-339(2004)。
MSC公司:68N17号 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过程序转换将逻辑程序和一元二阶逻辑结合起来。 (英语) Zbl 1278.68049号

Michael Leuschel(编辑),《基于逻辑的程序合成和转换》。第十二届国际研讨会,2002年LOPSTR,西班牙马德里,2002年9月17日至20日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-40438-4/pbk)。计算机科学课堂讲稿2664160-181(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用程序转换验证无限状态过程集。 (英语) Zbl 1073.68693号

Pettorossi,Alberto(编辑),基于逻辑的程序合成和转换。2001年11月28日至30日,塞浦路斯帕福斯,第11次国际研讨会,LOPSTR 2001。精选论文。柏林:施普林格出版社(ISBN 3-540-43915-3)。莱克特。注释计算。科学。2372, 111-128 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

程序派生\(=\)规则\(+\)策略。 (英语) Zbl 1012.68033号

安东尼斯·卡卡斯(Antonis C.)等人,《计算逻辑:逻辑编程及其以外》。纪念罗伯特·科瓦尔斯基的论文。第1部分:。柏林:斯普林格。莱克特。注释计算。科学。2407, 273-309 (2002).
MSC公司:68号01 68号30 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过展开/折叠变换进行完美的模型检查。 (英语) Zbl 0983.68041号

Lloyd,John(编辑)等人,《计算逻辑-CL 2000》。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 613-628 (2000).
MSC公司:68号30 68N17号 第68页第15页 60年第68季度
PDF格式BibTeX公司 XML格式引用

按此顺序展开定义折叠,以避免逻辑程序中不必要的变量。 (英语) 兹比尔0789.68019

Maluszyński,Jan(编辑)等人,编程语言实现和逻辑编程。1991年8月26日至28日,第三届国际研讨会,PLILP’91,德国帕绍。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。528, 347-358 (1991).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段