×

找到170个文档(结果1-100)

关于巴赫作品中保护列表的引入:表达性、正确性和效率问题。 (英语) Zbl 07820785号

Aubert,Clément(ed.)等人,《第16届交互和并发体验研讨会论文集》,ICE 2023,葡萄牙里斯本,2023年6月19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)38355-72(2023年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

HHLPy公司:使用霍尔逻辑对混合系统进行实际验证。 (英语) Zbl 07728842号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 160-178 (2023).
PDF格式BibTeX公司 XML格式引用

循环还有什么是不可判定的? (英语) Zbl 07728639号

Glück,Roland(编辑)等人,《计算机科学中的关系和代数方法》。第20届国际会议,RAMiCS 2023,德国奥格斯堡,2023年4月3-6日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13896, 176-193 (2023).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

嵌入式领域特定验证器。 (英语) 兹比尔1528.68227

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 535-553 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序是否产生正确的分布?通过生成函数验证概率程序。 (英语) Zbl 1514.68028号

Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 79-101 (2022).
PDF格式BibTeX公司 XML格式引用

使用外部理论授权Event-B方法。 (英语) Zbl 1502.68176号

ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13274, 18-35 (2022).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有定理证明的概率序列程序的自动推理。 (英语) Zbl 07670535号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 465-482 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全域的良性交互。 (英语) Zbl 1498.68055号

Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 312-331 (2021).
MSC公司:68平方米25
PDF格式BibTeX公司 XML格式引用
全文: 内政部

众包以数据为中心的工作流。 (英语) Zbl 1503.68189号

Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12152, 24-45 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用透镜对集合和局部变量进行自动代数推理。 (英语) Zbl 07578337号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 100-116 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

谎言中最薄弱的先决条件。 (英语) Zbl 07516369号

Patricia Johann(编辑),《第36届编程语义数学基础会议论文集》,MFPS XXXVI,虚拟会议,2020年6月2-6日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。352, 5-27 (2020).
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全保护的命令。 (英语) Zbl 1440.68036号

Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。12065, 201-215 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于验证弱记忆模型上程序的广谱语言。 (英语) Zbl 1460.68026号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 240-257 (2018).
PDF格式BibTeX公司 XML格式引用

从事件系统抽象生成测试,以覆盖其状态和转换。 (英语。俄文原件) Zbl 1455.68104号

程序。计算。柔和。 44,第1期,1-14(2018); 译自Programmirovanie 44,No.1,3-20(2018)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组合推理。 (英语) Zbl 1392.68249号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。345-383 (2018).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶并发分离逻辑的本质。 (英语) Zbl 1485.68069号

Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 696-723 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

分布式闲聊的认知协议。 (英语) Zbl 1483.68361号

Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21551-66(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

C程序演绎验证的区域分析。 (英语。俄文原件) Zbl 1452.68051号

程序。计算。柔和。 42,编号5257-278(2016); 译自Programmirovanie 42,No.5,3-29(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在程序派生中结合了自顶向下和自底向上技术。 (英语) Zbl 1362.68042号

Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-27435-5/pbk;978-3-3169-27436-2/电子书)。计算机科学讲义9527,244-258(2015)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限控制的公平性。 (英语) Zbl 1444.68018号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 33-43 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多重关系和谓词变换的关系代数方法。 (英语) 兹比尔1432.68069

Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 50-70 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

构造性多时系统。 (英语) Zbl 1437.68109号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7734, 335-349 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算的集合理论模型。 (英语) Zbl 1390.68297号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,1-22(2013)。
MSC公司:2005年第68季度 03E75型 68号30 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用反向多面体欠逼近推导出充分条件。 (英语) Zbl 1294.68062号

Midtgaard,Jan(编辑)等人,第四届数字和符号抽象域国际研讨会论文集,NSAD 2012,法国多维尔,2012年9月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记287,89-100(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从多尺度系统规范中导出实时动作系统控制器。 (英语) 兹比尔1358.68069

Jeremy Gibbons等人,《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31112-3/pbk)。计算机科学课堂讲稿7342102-131(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算while循环的前置条件和后置条件。 (英语) Zbl 1350.68062号

Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,173-193(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从模型生成测试的欠近似技术的关联。 (英语) Zbl 1335.68046号

Gogolla,Martin(编辑)等人,《测试与证明》。2011年6月30日至7月1日在瑞士苏黎世举行的2011年第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21767-8/pbk)。计算机科学课堂讲稿670651-68(2011)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

用于建模算法及其属性的高级语言。 (英语) 兹比尔1325.68040

Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527,49-63(2011)。
MSC公司:68甲15 68宽15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

从间歇断言和应用于集合契约的前提推理。 (英语) Zbl 1317.68030号

Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,150-168(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

Java动态逻辑中的动态帧。 (英语) Zbl 1308.68046号

Beckert,Bernhard(编辑)等人,面向对象软件的形式验证。2010年6月28日至30日,法国巴黎,FoVeOOS 2010国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18069-9/pbk)。计算机科学课堂讲稿6528,138-152(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种动态构造形式模型状态抽象的自动方法。 (英语。俄文原件) Zbl 1288.68166号

赛博。系统。分析。 46,第4期,583-601(2010); 翻译自Kibern。修女。分析。2010年,第4期,70-90(2010)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态控制的显式公平调度。 (英语) Zbl 1274.68035号

Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿593096-117(2010)。
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

公平约束下的定量分析。 (英语) Zbl 1262.68102号

刘志明(编辑)等,《验证和分析自动化技术》。2009年10月14日至16日,第七届国际研讨会,ATVA 2009,中国澳门。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04760-2/pbk)。计算机科学课堂讲稿5799135-150(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

指定马尔科夫人口模型的形式化。 (英语) Zbl 1260.68284号

Bournez,Olivier(编辑)等人,《可达性问题》。2009年9月23日至25日,法国帕莱索,RP 2009第三届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学课堂讲稿5797,3-23(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

基于合同的多视点规范和设计。 (英语) Zbl 1209.68120号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。柏林:施普林格出版社(ISBN 978-3-540-92187-5/pbk)。计算机科学课堂讲稿5382200-225(2008)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全的微内核、状态单体和可伸缩的优化。 (英语) Zbl 1165.68454号

Mohamed,Otmane Ait(编辑)等,《高阶逻辑中的定理证明》。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71065-3/pbk)。计算机科学课堂讲稿5170167-182(2008)。
MSC公司:第68页第15页 60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重新计算理性:两次! (英语) Zbl 1156.11308号

Audebaud,Philippe(编辑)等,《程序构造的数学》。2008年7月15日至18日,第九届国际会议,MPC 2008,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70593-2/pbk)。计算机科学讲义5133,79-91(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合态量子编程。 (英语) 兹比尔1277.68061

Peter Selinger(编辑),《第三届量子编程语言国际研讨会论文集》(QPL 2005),美国伊利诺伊州芝加哥德保大学,2005年6月30日至7月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记170,185-199(2007)。
MSC公司:68号30 81页68 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

软件