×

找到91份文件(结果1-91)

100
马查克斯

微控制器交互数据记录程序到有限状态机的转换。 (英语) Zbl 07496649号

Fernández,Maribel(编辑),《基于逻辑的程序综合与转换》。第30届国际研讨会,LOPSTR 2020,意大利博洛尼亚,2020年9月7日至9日,会议记录。查姆:斯普林格。选择。笔记计算。科学。12561210-227(2021年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

密钥中浮点Java程序的演绎验证。 (英语) Zbl 1474.68186

Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS2021,卢森堡市,2021年3月27日至4月1日。会议记录。第二部分。查姆:斯普林格。选择。笔记计算。科学。12652242-261(2021年)。
理学硕士:68Q60型 65克50 68N15
PDF格式 BibTeX公司 XML 引用

电路构建量子程序的自动演绎验证框架。 (英语) Zbl 1473.68106

Yoshida,Nobuko(编辑),编程语言和系统。第30届欧洲程序设计研讨会,ESOP 2021,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS2021,卢森堡,卢森堡市,2021年3月27日至4月1日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12648、148-177(2021年)。
PDF格式 BibTeX公司 XML 引用

使用event-B形式化方法对OS-Astra-Linux特殊版访问控制模型进行形式化验证。 (俄语。英文摘要) Zbl 07382421

理学硕士:六十八 92-XX号
PDF格式 BibTeX公司 XML 引用
全文: 内政部 MNR公司

并行流压缩和面积表算法的形式化验证。 (英语) 中银07369989

Pun,Violet Ka I.(ed.)等人,《计算的理论方面——ICTAC 2020》,第17届国际学术讨论会,中国澳门,2020年11月30日至12月4日,会议记录。查姆:斯普林格。选择。笔记计算。科学。12545181-199(2020年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部

马尔可夫链总变异距离的完全公理化。 (英语) Zbl 07513453

Silva,Alexandra(编辑),《第33届编程语义数学基础会议论文集》(MFPS XXXIII),斯洛文尼亚卢布尔雅那,2017年6月12日至15日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。336,27-39(2018年)。
理学硕士:68N30型 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部

同步异步。 (英语) Zbl 07378565

Schewe,Sven(ed.)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4日至7日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。118,第21条,第17页(2018年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

反射证明的Why3框架及其在GMP算法中的应用。 (英语) Zbl 06958099

Galmiche,Didier(编辑)等人,《自动推理》。第九届国际联席会议,IJCAR 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月14-17日。会议记录。查姆:斯普林格。选择。笔记计算。科学。10900、178-193(2018年)。
理学硕士:68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

理解演绎验证的参数:一个关键的实证调查。 (英语) Zbl 06946989号

Avigad,Jeremy(ed.)等人,《交互定理证明》。第9届国际会议,ITP 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月9日至12日。会议记录。查姆:斯普林格。选择。笔记计算。科学。10895342-361(2018年)。
理学硕士:68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

如何获得一个有效的但已验证的任意精度整数库。 (英语) Zbl 1403.68026

Paskevich,Andrei(编辑)等人,验证软件。理论、工具和实验。第九届国际会议,2017年7月22日至23日,德国海德堡,2017年。修订论文选集。查姆:斯普林格(ISBN 978-3-319-72307-5/pbk;978-3-319-72308-2/电子书)。计算机科学课堂讲稿10712,84-101(2017)。
理学硕士:68N15 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

一种经过正式验证的类shell编程语言的解释器。 (英语) Zbl 1403.68036

Paskevich,Andrei(编辑)等人,验证软件。理论、工具和实验。第九届国际会议,2017年7月22日至23日,德国海德堡,2017年。修订论文选集。查姆:斯普林格(ISBN 978-3-319-72307-5/pbk;978-3-319-72308-2/电子书)。计算机科学课堂讲稿10712,1-18(2017)。
理学硕士:68牛顿 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 哈尔

一个用于运行时验证的LTL证明系统。 (英语) 兹布1420.68121

Baier,Christel(ed.)等人,《系统构建和分析的工具和算法》。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,英国,2015年4月11日至18日。会议记录。柏林:斯普林格。选择。笔记计算。科学。903581-595(2015年)。
理学硕士:68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

Fiat:证明助手中抽象数据类型的演绎合成。 (英语) Zbl 1346.68175

第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2015年1月12日至18日,印度孟买,POPL'15。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3300-9)。689-700(2015年)。
理学硕士:68T15型 68N18 68Q60型 68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部

基于解析和动态逻辑的Petri网自动验证演算。 (英语) Zbl 1342.68237

Ayala Rincoón,Mauricio(ed.)等人,《逻辑和语义框架及其应用研讨会论文集》(LSFA 2014),巴西巴西利亚,2014年9月8日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记312125-141,电子版(2015)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

连续动力系统的演绎验证。 (英语) Zbl 1248.68336

Kannan,Ravi(ed.)等人,IARC软件技术和理论计算机科学基础年会(FSTTCS 2009),2009年12月15日至17日,印度坎普尔。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-13-2)。LIPIcs–莱布尼茨国际信息学论文集4383-394,电子版(2009)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

一种用于验证混合系统不变量的时序动态逻辑。 (英语) Zbl 1132.03338号

Artemov,Sergei N.(ed.)等人,《计算机科学的逻辑基础》。国际研讨会,2007年LFCS,美国纽约,2007年6月4日至7日,会议记录。柏林:斯普林格出版社(ISBN 978-3-540-72732-3/pbk)。计算机科学课堂讲稿4514,457-471(2007)。
理学硕士:03B70型 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

验证:工业应用。 (英语) Zbl 1129.68447

Schwichtenberg,Helmut(编辑)等人,《证明技术与计算》。2003年7月29日至8月10日,德国马克托伯多夫暑期学校论文集。阿姆斯特丹:IOS出版社(ISBN 1-58603-625-4/hbk)。北约科学系列III:计算机与系统科学200161-205(2006)。
理学硕士:68Q60型 68T15型
PDF格式 BibTeX公司 XML 引用

\(\in\T\)—逻辑集成。 (英语) 107ZB0305号

Kreowski,Hans-Jörg(ed.)等人,《软件和系统建模中的形式化方法》。在哈特穆特·艾里格60岁生日之际献给他的文章。柏林:斯普林格出版社(ISBN 3-540-24936-2/pbk)。计算机科学课堂讲稿3393204-219(2005)。
理学硕士:03B70型 03B22号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

Java中监视器的归纳证明大纲。 (英语) Zbl 1253.68080

Najm,Elie(ed.)等人,《开放式基于对象的分布式系统的形式化方法》。第六届IFIP工作组6.1国际会议,FMOODS 2003,法国巴黎,2003年11月19-21日。会议记录。柏林:斯普林格(ISBN 3-540-20491-1/pbk)。选择。笔记计算。科学。2884155-169(2003年)。
理学硕士:68N15 03B70型 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部

基于非确定性结构的数据日志程序转换技术。 (英语) Zbl 1073.68588号

Pettorossi,Alberto(编辑),《基于逻辑的程序综合与转换》。第11届国际研讨会,2001年11月28日至30日,塞浦路斯帕福斯,LOPSTR,2001年。柏林:斯普林格出版社(ISBN 3-540-43915-3)。选择。笔记计算。科学。第2372、25-45页(2002年)。
理学硕士:68N30型 68N17 68页15页
PDF格式 BibTeX公司 XML 引用
全文: 链接

在一个经过验证的千年发展目标系统的基础上正式地将千年发展目标和全球目标联系起来。 (英语) Zbl 1057.68637

Butler,Michael(ed.)等人,综合形式方法。2002年5月15日至18日在芬兰图尔库举行的第三届国际会议。柏林:斯普林格出版社(ISBN 3-540-43703-7)。选择。笔记计算。科学。2335205-224(2002年)。
理学硕士:68Q60型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 链接

基于断言的PVS混合系统分析。 (英语) Zbl 1023.93510

Moreno-Díaz,Roberto(ed.)等人,《计算机辅助系统理论——欧洲广播公司2001》,2001年2月19日至23日,西班牙,拉斯帕尔马斯大加那利亚第八届国际研讨会论文选编。柏林:斯普林格。选择。笔记计算。科学。2178、94-109(2001年)。
理学硕士:93C83型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 链接

演绎推理与模型检验:系统开发的两种形式化方法。 (英语) Zbl 0963.68131号

Araki,Keijiro(编辑)等人,IFM 99。第一届综合形式方法国际会议论文集,约克,GB,1999年6月28-29日。伦敦:斯普林格。373-394(1999年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用

关于证明大纲逻辑的注记。 (英语) Zbl 0923.03047

Broy,Manfred(编辑),演绎程序设计。北约高级研究所会议录,德国马克托伯多夫,1994年7月26日至8月7日,柏林:斯普林格。北约ASI Ser。,爵士。F、 计算机。系统。科学。152351-394(1996年)。
理学硕士:03B70型 68Q60型
PDF格式 BibTeX公司 XML 引用

分布式系统非经典验证的演绎系统:并行组件数的归纳。 (俄语) Zbl 0953.68100

Nepomnyashchij,V.A.(编辑),《并发系统的规范和验证问题》。科学著作集。新西伯利亚:A.P.Ershov信息系统研究所。123-153(1995年)。
理学硕士:6885年 68Q60型
PDF格式 BibTeX公司 XML 引用

利用环境推理程序。 (英语) Zbl 1418.68054

Abiteboul,Serge(编辑)等人,《自动机,语言与编程》。第21届国际学术讨论会,1994年7月11日至14日,以色列耶路撒冷。柏林:斯普林格。选择。笔记计算。科学。820328-339(1994年)。
理学硕士:68N30型 03B44号 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

从模态逻辑到演绎数据库。引入基于逻辑的人工智能方法。 (英语) Zbl 0682.68096

奇切斯特等:威利父子有限公司第二十四卷,380页(1989年)。
审核人:N、 柯提努
PDF格式 BibTeX公司 XML 引用

代数结构中的一些不动点技术及其在计算机科学中的应用。 (英语) Zbl 0634.68009

审核人:一、 猜谜的
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

文件类型

审查状态

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

分类

全部的 前3名

软件