西蒙福斯特;雅库布·内穆奇;马里奥·格雷舍尔;魏然;蒂姆·凯利 与Isabelle/SACM将正式证据整合到统一的保证案例中。 (英语) Zbl 1522.68717号 正式Asp。计算。 33,第6号,855-884(2021).MSC公司:68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,正式Asp。计算。33,编号6,855--884(2021;Zbl 1522.68717) 全文: 内政部 arXiv公司
德波尔(Frank S。;马塞洛·邦桑格 正式解释了符号执行。 (英语) Zbl 1519.68057号 正式Asp。计算。 33,编号4-5,617-636(2021).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}和\textit{M.Bonsange},正式Asp。计算。33,编号4--5,617--636(2021;Zbl 1519.68057) 全文: 内政部
马丁·塔普勒;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;乔瓦尼·巴奇;玛丽亚·艾希塞德;拉森,金·G。 \基于(L^\ast)的马尔可夫决策过程学习(扩展版本)。 (英语) Zbl 1519.68106号 正式Asp。计算。 33,编号4-5575-615(2021).MSC公司:68问题32 第68季度第45季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,正式Asp。计算。33,编号4--5,575--615(2021;Zbl 1519.68106) 全文: 内政部 arXiv公司
谢万玲;朱慧彪;徐启文 移动系统的进程演算BigrTiMo及其形式语义。 (英语) Zbl 1511.68189号 正式Asp。计算。 33,第2期,207-249(2021).MSC公司:68问题85 68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,正式Asp。计算。33,第2号,207--249(2021;Zbl 1511.68189) 全文: 内政部
Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 霍尔50年的逻辑。 (英语) Zbl 1427.68008号 正式Asp。计算。 31,第6号,751-807(2019).MSC公司:68-03 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Olderog},正式Asp。计算。31,第6号,751--807(2019;Zbl 1427.68008) 全文: 内政部 arXiv公司 链接
J Strother摩尔 从纯Lisp定理证明器到ACL2的里程碑。 (英语) Zbl 1427.68348号 正式Asp。计算。 31,第6号,699-732(2019).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{J S.Moore},正式Asp。计算。31,第6号,699--732(2019;Zbl 1427.68348) 全文: 内政部
迭戈·马姆斯勒;吉迪,哈博姆·卡赛 FACTum中建筑设计模式的交互验证。 (英语) Zbl 1425.68273号 正式Asp。计算。 31,5号,541-610(2019).MSC公司:第68季度第65季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Marmsoler}和\textit{H.K.Gidey},正式Asp。计算。31,第5号,541--610(2019;Zbl 1425.68273) 全文: 内政部
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 用于控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68N99型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: 内政部
法布里西奥·比昂迪;川本优助;Legay、Axel;路易斯·马里·特劳努埃兹 互信息的混合统计估计及其在信息流中的应用。 (英语) Zbl 1425.68251号 正式Asp。计算。 第2期第31页,165-206(2019).MSC公司:60年第68季度 62B10型 2015年1月62日 68页30 PDF格式BibTeX公司 XML格式引用 \textit{F.Biondi}等人,《形式Asp》。计算。31,第2号,165--206(2019;Zbl 1425.68251) 全文: 内政部 arXiv公司
董晓菊;伏玉溪;丹尼尔·瓦拉卡 扩展Petri网。 (英语) Zbl 1425.68292号 正式Asp。计算。 31,第1号,47-58(2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Dong}等人,正式Asp。计算。31,第1号,47-58(2019年;Zbl 1425.68292) 全文: 内政部
谢万玲;香,双清;朱慧彪 rTiMo的UTP方法。 (英语) Zbl 1425.68304号 正式Asp。计算。 30,第6号,713-738(2018).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,正式Asp。计算。30,编号6,713--738(2018;Zbl 1425.68304) 全文: 内政部
Chane-Yack-Fa,拉斐尔;马克·弗拉皮耶;阿梅尔·曼玛;阿兰·芬克尔 单调信息系统的参数化验证。 (英语) Zbl 1398.68334号 正式Asp。计算。 30,编号3-4,463-489(2018).MSC公司:60年第68季度 68问题85 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{R.Chane-Yack-Fa}等人,正式Asp。计算。30,编号3--4,463--489(2018;Zbl 1398.68334) 全文: 内政部 哈尔
史玲;赵永新;刘,杨;孙骏;董金松;秦胜超 一种UTP语义,用于与共享变量通信进程及其在PVS中的形式编码。 (英语) Zbl 1398.68373号 正式Asp。计算。 30,编号3-4,351-380(2018).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Shi}等人,《形式语法》。计算。30、编号3--4、351--380(2018;Zbl 1398.68373) 全文: 内政部 链接
卡拉姆Abd Elkader;奥尔纳·格伦伯格;科琳娜·s·佩斯勒诺。;莎伦·肖姆 自动循环假设保证推理。 (英语) Zbl 1395.68184号 正式Asp。计算。 30,第5期,571-595(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Abd Elkader}等人,正式Asp。计算。30,第5号,571--595(2018;Zbl 1395.68184) 全文: 内政部
罗伯特·J·科尔文。;伊恩·海耶斯。;拉里萨·梅尼基。 为一种具有并发性的宽谱语言设计一个语义模型。 (英语) Zbl 1375.68036号 正式Asp。计算。 29,第5号,853-875(2017).MSC公司:68甲15 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}等人,正式Asp。计算。29,第5号,853--875(2017;Zbl 1375.68036) 全文: 内政部 arXiv公司
维姆·赫塞林克。 互斥竞赛:验证和并发复杂性。 (英语) Zbl 1375.68079号 正式Asp。计算。 29,No.5,833-852(2017).MSC公司:60年第68季度 68问题85 68兰特 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。29,No.5,833--852(2017;Zbl 1375.68079) 全文: 内政部
王淑玲;詹乃军;张丽君 随机混合系统的组合建模和验证框架。 (英语) Zbl 1370.68220号 正式Asp。计算。 29,第4期,751-775(2017).MSC公司:68问题85 60年第68季度 87年第68季度 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人,正式Asp。计算。29,第4号,751--775(2017;Zbl 1370.68220) 全文: 内政部
本·莫斯科夫斯基;Dimitar P.Guelev。 时间投影在交错并发中的应用。 (英语) Zbl 1370.68216号 正式Asp。计算。 29,第4号,705-750(2017).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski}和\textit{D.P.Guelev},正式Asp。计算。29,第4号,705--750(2017;Zbl 1370.68216) 全文: 内政部
乔达里,Dipak L。;Om达马尼 通过注释程序进行假设传播。 (英语) Zbl 1362.68043号 正式Asp。计算。 29,第3期,495-530(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Chaudhari}和\textit{O.Damani},正式Asp。计算。29,第3号,495--530(2017;Zbl 1362.68043) 全文: 内政部
阿德里安·里斯科;Kazuhiro绪方;高基町五指 CafeOBJ的Maude环境。 (英语) Zbl 1358.68195号 正式Asp。计算。 29,第2期,309-334(2017).MSC公司:60年第68季度 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,正式Asp。计算。29,第2号,309--334(2017;Zbl 1358.68195) 全文: 内政部
比约纳,迪内斯 清单域:分析和描述。 (英语) Zbl 1358.68052号 正式Asp。计算。 29,第2期,175-225(2017).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner},正式Asp。计算。29,第2号,175--225(2017;Zbl 1358.68052) 全文: 内政部 链接
瑟·特凡·乔巴赫;多雷尔·卢卡努;弗拉德·鲁苏;格里高·罗什乌 一个独立于语言的完整程序等价性证明系统。 (英语) Zbl 1355.68051号 正式Asp。计算。 第3期第28页,第469-497页(2016年).MSC公司:68号30 03B70号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人,《形式Asp》。计算。28,第3号,469--497(2016;Zbl 1355.68051) 全文: 内政部 哈尔
伊恩·海耶斯。 广义相对保证并发:代数基础。 (英语) Zbl 1348.68035号 正式Asp。计算。 28,第6期,1057-1078(2016).MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes},正式Asp。计算。28,第6号,1057--1078(2016;Zbl 1348.68035) 全文: 内政部 arXiv公司
佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 异步通信的多样性。 (英语) Zbl 1345.68022号 正式Asp。计算。 28,第5期,847-879(2016).MSC公司:68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevrou}等人,正式Asp。计算。28,第5号,847--879(2016;Zbl 1345.68022) 全文: 内政部 哈尔
伊利亚卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;佩雷斯,豪尔赫·A。 多方通信中的自适应和安全信息流。 (英语) Zbl 1345.68232号 正式Asp。计算。 28,第4期,669-696(2016).MSC公司:68问题85 68米14 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人,《形式Asp》。计算。28,第4号,669--696(2016;Zbl 1345.68232) 全文: 内政部 arXiv公司 链接
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯,豪尔赫·A。;雨果·托雷斯·维埃拉 多方对话中的动态角色授权。 (英语) Zbl 1345.68235号 正式Asp。计算。 28,第4号,643-667(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,正式Asp。计算。28,第4号,643--667(2016;Zbl 1345.68235) 全文: 内政部 arXiv公司
维姆·赫塞林克。 黑白烘焙算法的正确性和并发复杂性。 (英语) Zbl 1342.68348号 正式Asp。计算。 第2期第28期,第325-341页(2016年).MSC公司:68宽10 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。28,第2号,325--341(2016;Zbl 1342.68348) 全文: 内政部
维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 使用CADP验证\(\mathrm{EB}^3\)规范。 (英语) Zbl 1335.68150号 正式Asp。计算。 28,第1期,145-178(2016).MSC公司:60年第68季度 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Vekris}等人,《形式语法》。计算。28,第1号,145--178(2016;Zbl 1335.68150) 全文: 内政部
佛罗伦萨伊帕特;迪米特里斯·德拉尼迪斯 来自确定性流X机器规范的统一集成和组件测试方法。 (英语) Zbl 1335.68021号 正式Asp。计算。 28,第1号,1-20(2016).MSC公司:68米15 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{D.Dranidis},正式Asp。计算。28,编号1,1--20(2016;Zbl 1335.68021) 全文: 内政部
朱,H。;何继峰;秦胜超;菲利普·布鲁克 事件驱动系统级语言的指称语义及其代数推导。 (英语) Zbl 1347.68039号 正式Asp。计算。 27,第1期,133-166(2015).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人,正式Asp。计算。27,第1号,133--166(2015;Zbl 1347.68039) 全文: 内政部 链接
马,钱;段振华;张楠;王晓兵 用MSVL公理系统验证分布式系统。 (英语) 兹比尔1328.68032 正式Asp。计算。 第103-131号第27页(2015年).MSC公司:68米14 68N17号 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}等人,正式Asp。计算。27,第1号,第103--131条(2015;Zbl 1328.68032) 全文: 内政部
拉希德·热比哈;维埃拉·莫拉(Vieira Moura,Arnaldo);纳迪尔·马特林格 用线性代数方法生成非线性回路的不变量。 (英语) Zbl 1347.68093号 正式Asp。计算。 27,编号5-6,805-829(2015).MSC公司:68号30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Rebiha}等人,《正式Asp》。计算。27、编号5--6、805--829(2015;Zbl 1347.68093) 全文: 内政部
玛丽亚姆·达巴奇安;穆罕默德·阿卜杜拉希·阿兹戈米 使用PROMELA和SPIN检查观测确定性安全性的模型。 (英语) Zbl 1347.68222号 正式Asp。计算。 27,编号5-6,789-804(2015).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Dabaghchian}和\textit{M.Abdollahi Azgomi},正式Asp。计算。27、编号5--6、789--804(2015;Zbl 1347.68222) 全文: 内政部
克利夫·琼斯。;伊恩·海耶斯。;罗伯特·J·科尔文。 在并发的正式方法中平衡表达能力。 (英语) Zbl 1343.68171号 正式Asp。计算。 27,第3期,475-497(2015).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}等人,正式Asp。计算。27,第3475-497号(2015年;兹bl 1343.68171) 全文: 内政部
马其顿,雨果·丹尼尔;何塞·奥利维拉 OLAP的线性代数方法。 (英语) Zbl 1331.68055号 正式Asp。计算。 27,第2期,283-307(2015).MSC公司:68个P01 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Macedo}和\textit{J.Oliveira},正式Asp。计算。27,No.2,283--307(2015;Zbl 1331.68055) 全文: 内政部 链接
Eerke A.Boiten。 在细化中引入额外的操作。 (英语) Zbl 1342.68204号 正式Asp。计算。 26,第2号,305-317(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Boiten},正式Asp。计算。26,第2号,305-317(2014;Zbl 1342.68204) 全文: 内政部 链接
博斯特伦,庞都;弗雷德里克·德格伦德;塞雷,凯萨;瓦尔登,玛丽娜 通过Event-B模型的逐步调度导出并发程序。 (英语) Zbl 1342.68056号 正式Asp。计算。 26,第2期,281-303(2014).MSC公司:第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Boström}等人,正式Asp。计算。26,第2号,281--303(2014;Zbl 1342.68056) 全文: 内政部
沃德,马丁;侯赛因·泽丹 使用FermaT进行算法推导,证明是正确的。 (英语) Zbl 1342.68213号 正式Asp。计算。 26,第5期,993-1031(2014).MSC公司:60年第68季度 第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ward}和\textit{H.Zedan},正式Asp。计算。26,第5号,993--1031(2014;Zbl 1342.68213) 全文: 内政部 链接
费卢西奥·达米亚尼;约翰·多夫兰;布罗克·约翰森,埃纳尔;伊娜·谢弗 验证特性:细粒度重用的增量证明系统。 (英语) Zbl 1342.68059号 正式Asp。计算。 26,第4期,761-793(2014).MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人,正式Asp。计算。26,第4号,761--793(2014;Zbl 1342.68059) 全文: 内政部 链接
Dongol,布里耶什;伊恩·海耶斯。;彼得·罗宾逊。 关于目标导向的实时远程反应程序的推理。 (英语) Zbl 1342.68060号 正式Asp。计算。 26,第3期,563-589(2014).MSC公司:第68页第19页 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,《正式Asp》。计算。26,第3号,563--589(2014;Zbl 1342.68060) 全文: 内政部 链接
伯恩哈德·贝克特;弗拉基米尔·克莱巴诺夫 一种用于多线程程序演绎验证的动态逻辑。 (英语) Zbl 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) 全文: 内政部
Domagoj Babić;拜伦·库克;胡亚伦·J·。;茨沃尼米尔·拉卡马里奇 证明非线性命令序列的终止。 (英语) 兹比尔1298.68164 正式Asp。计算。 25,编号3,389-403(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Babić}等人,《形式语法》。计算。25,第3号,389--403(2013;Zbl 1298.68164) 全文: 内政部
罗布·阿尔森;乌苏拉·马丁;保罗·奥利瓦 线性系统的霍尔逻辑。 (英语) Zbl 1298.68163号 正式Asp。计算。 25,第3期,345-363(2013).MSC公司:60年第68季度 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{R.Arthan}等人,正式Asp。计算。25,第3号,345--363(2013;Zbl 1298.68163) 全文: 内政部
萨伊德·阿贝德;奥特曼·艾特·穆罕默德;盖亚斯·萨马内 高阶逻辑中约简技术的自动验证。 (英语) Zbl 1298.68162号 正式Asp。计算。 25,第6号,971-991(2013).MSC公司:60年第68季度 第68页第15页 68T27型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Abed}等人,正式Asp。计算。25,第6号,971--991(2013;Zbl 1298.68162) 全文: 内政部
维姆·赫塞林克。;马克·伊杰贝马 无饥饿互斥信号量。 (英语) Zbl 1298.68192号 正式Asp。计算。 25,第6期,947-969(2013).MSC公司:68问题85 68周05 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{M.IJbema},正式Asp。计算。25,第6号,947--969(2013;Zbl 1298.68192) 全文: 内政部
Paolo Bientinesi,保罗;约翰·甘纳尔斯(John A.Gunnels)。;玛格丽特·迈尔斯。;恩里克·金塔纳·奥尔蒂。;罗兹,泰勒;范德盖恩(Robert A.van de Geijn)。;范泽·菲尔德·G。 导出稠密线性代数库。 (英语) Zbl 1298.65003号 正式Asp。计算。 25,第6期,933-945(2013).MSC公司:65-04 65华氏度 15-04 PDF格式BibTeX公司 XML格式引用 \textit{P.Bientinesi}等人,正式Asp。计算。25,第6号,933--945(2013;Zbl 1298.65003) 全文: 内政部 链接
傅、香;Michael C.鲍威尔。;迈克尔·班特吉;李钟池 简单的线性字符串约束。 (英语) Zbl 1298.68172号 正式Asp。计算。 25,第6期,847-891(2013).MSC公司:60年第68季度 68单位15 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人,正式Asp。计算。25,第6号,847--891(2013;Zbl 1298.68172) 全文: 内政部
艾伦·斯图尔特;约阿金·加巴罗;安东尼·基南 使用部分正确性推理web服务的编排。 (英语) Zbl 1298.68177号 正式Asp。计算。 25,第6期,833-846(2013).MSC公司:60年第68季度 68英里11 68米14 PDF格式BibTeX公司 XML格式引用 \textit{A.Stewart}等人,正式Asp。计算。25,No.6,833--846(2013;Zbl 1298.68177) 全文: 内政部
陈一峰 统一编程理论中的语义继承。 (英语) Zbl 1259.68122号 正式Asp。计算。 25,第1期,89-106(2013).MSC公司:60年第68季度 68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen},正式Asp。计算。25,第1号,89--106(2013;Zbl 1259.68122) 全文: 内政部
贾亚德夫·米斯拉 基于理性利己的安全投票方案。 (英语) Zbl 1259.91044号 正式Asp。计算。 24,编号4-6,793-805(2012).MSC公司:91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra},正式Asp。计算。24、编号4--6、793--805(2012;Zbl 1259.91044) 全文: 内政部
斯特凡·基弗;安德烈·穆拉夫斯基。;约尔·瓦克宁;比约恩·瓦希特;詹姆斯·沃雷尔 赫尔曼算法中的三个标记。 (英语) Zbl 1259.68230号 正式Asp。计算。 24,第4-6号,671-678(2012).MSC公司:68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,正式Asp。计算。24,编号4--6,671--678(2012;Zbl 1259.68230) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 赫尔曼自稳定算法的概率验证。 (英语) 兹比尔1259.68130 正式Asp。计算。 24,第4-6号,661-670(2012).MSC公司:60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,正式Asp。计算。24、编号4--6661--670(2012;Zbl 1259.68130) 全文: 内政部
肯托·埃莫托;塞巴斯蒂安·费舍尔;胡镇江 用于MapReduce编程的过滤器嵌入半环融合。 (英语) Zbl 1259.68027号 正式Asp。计算。 24,编号4-6,623-645(2012).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Emoto}等人,《形式Asp》。计算。24,编号4--6623--645(2012;Zbl 1259.68027) 全文: 内政部
本特·琼森 使用精细演算技术证明线性化能力。 (英语) Zbl 1259.68128号 正式Asp。计算。 24,第4-6号,537-554(2012).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson},正式Asp。计算。24、编号4--6537--554(2012;Zbl 1259.68128) 全文: 内政部
Leino,K.Rustan M。;夸特·叶塞诺夫 Chalice中堆操作代码的逐步细化。 (英语) Zbl 1259.68034号 正式Asp。计算。 24,编号4-6,519-535(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{K.Yessenov},正式Asp。计算。24、编号4--6519--535(2012;Zbl 1259.68034) 全文: 内政部 链接
你好,托尼;范·斯塔登(Stephan van Staden) 赞美代数。 (英语) Zbl 1259.68030号 正式Asp。计算。 24,编号4-6,423-431(2012).MSC公司:第68页第19页 03B70号 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{S.van Staden},正式Asp。计算。24,编号4--6423--431(2012;Zbl 1259.68030) 全文: 内政部
Höfner,P。;罗布·范格拉贝克;海耶斯,伊恩 前言。 (英语) Zbl 1259.01011号 正式Asp。计算。 24,No.4-6,417-422(2012).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人,正式Asp。计算。24、编号4--6、417--422(2012;Zbl 1259.01011) 全文: 内政部
克利夫·琼斯。 约翰·麦卡锡(1927-2011)。 (英语) Zbl 1259.01013号 正式Asp。计算。 24,第3号,305-306(2012).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},正式Asp。计算。24,第3号,305--306(2012;Zbl 1259.01013) 全文: 内政部
何塞·伯纳多·巴罗斯;达妮拉·达克鲁兹;佩德罗·兰格尔·恩里克;豪尔赫·索萨·品托 基于断言的切片和切片图。 (英语) Zbl 1259.68119号 正式Asp。计算。 24,第2期,217-248(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Barros}等人,《形式Asp》。计算。24,第2号,217--248(2012;Zbl 1259.68119) 全文: 内政部 链接
摩根,卡罗尔 成分不干涉第一原则。 (英语) Zbl 1242.68071号 正式Asp。计算。 第1期第24页,第3-26页(2012年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan},正式Asp。计算。24、第1号、第3--26号(2012;Zbl 1242.68071) 全文: 内政部
普洛塔萨,维奥雷尔;回来了,拉尔夫·约翰 具有数据优化的不变图。 (英语) Zbl 1242.68074号 正式Asp。计算。 24,第1期,67-95(2012).MSC公司:68号30 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}和\textit{R.-J.Back},正式Asp。计算。24,第1号,67--95(2012;Zbl 1242.68074) 全文: 内政部
王超;Sudipta昆都;利马耶·里希克什;马来加奈;阿尔蒂·古普塔 并发程序的符号预测分析。 (英语) Zbl 1242.68187号 正式Asp。计算。 23,第6号,781-805(2011).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}等人,正式Asp。计算。23,第6号,781--805(2011;Zbl 1242.68187) 全文: 内政部
K.Mani Chandy;走吧,布莱恩;萨扬·密特拉;皮洛托、康塞塔;怀特,杰罗姆 使用本地全局谓词验证分布式系统。 (英语) Zbl 1242.68155号 正式Asp。计算。 23,第5号,649-679(2011).MSC公司:60年第68季度 68米14 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Chandy}等人,《正式Asp》。计算。23,第5号,649--679(2011;Zbl 1242.68155) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 多线程的线程代数。 (英语) 兹比尔1225.68060 正式Asp。计算。 23,第4期,567-583(2011).MSC公司:第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},正式Asp。计算。23,第4号,567--583(2011;Zbl 1225.68060) 全文: 内政部
艾伦·斯图尔特 具有分区同步的BSP编程模型。 (英语) Zbl 1225.68061号 正式Asp。计算。 23,第4期,421-432(2011).MSC公司:第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Stewart},正式Asp。计算。23,第4号,421--432(2011;Zbl 1225.68061) 全文: 内政部
Gerard J.霍尔兹曼。;弗洛里安,米哈伊 使用有界上下文切换进行模型检查。 (英语) Zbl 1216.68161号 正式Asp。计算。 23,第3期,365-389(2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Holzmann}和\textit{M.Florian},正式Asp。计算。23,第3号,365-389(2011;Zbl 1216.68161) 全文: 内政部
彼得·莫塞斯(Peter D.Mosses)。 编程语言的VDM语义:组合器和单子。 (英语) 兹比尔1216.68157 正式Asp。计算。 第221-238号第23页(2011年).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Mosses},正式Asp。计算。23,第2号,221--238(2011;Zbl 1216.68157) 全文: 内政部 哈尔
理查德·博纳特;哈桑·阿姆贾德 分离逻辑中的进程间缓冲区具有可靠保证。 (英语) Zbl 1214.68131号 正式Asp。计算。 22,第6期,735-772(2010).MSC公司:68号30 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bornat}和\textit{H.Amjad},正式Asp。计算。22,第6号,735--772(2010;Zbl 1214.68131) 全文: 内政部 哈尔
Bohórquez V,Jaime A。 程序正确性的基本统一方法。 (英语) Zbl 1211.68079号 正式Asp。计算。 22,第5期,611-627(2010).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bohórquez V},正式Asp。计算。22,第5号,611--627(2010;Zbl 1211.68079) 全文: 内政部
穆罕默德·萨利赫;穆拉德·德巴比 密码协议规范和验证的游戏理论框架。 (英语) Zbl 1211.68254号 正式Asp。计算。 22,第5期,585-609(2010).MSC公司:60年第68季度 91A80型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Saleh}和\textit{M.Debbabi},正式Asp。计算。22,第5号,585--609(2010;Zbl 1211.68254) 全文: 内政部
阿道夫·杜兰;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 面向对象语言编译器设计的代数方法。 (英语) Zbl 1214.68126号 正式Asp。计算。 22,第5期,489-535(2010).MSC公司:68N20型 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{A.Duran}等人,正式Asp。计算。22,第5号,489--535(2010;Zbl 1214.68126) 全文: 内政部 链接
蒂尔·莫萨科夫斯基;卢茨·施罗德;谢尔盖·冈查洛夫 用于推理纯度和效果的通用完整动态逻辑。 (英语) Zbl 1209.68084号 正式Asp。计算。 22,编号3-4,363-384(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人,正式Asp。计算。22,编号3--4,363--384(2010;Zbl 1209.68084) 全文: 内政部 哈尔
丹尼尔·克罗宁;乔治·威森巴赫 使用谓词抽象对带有循环的程序进行验证和证伪。 (英语) Zbl 1215.68130号 正式Asp。计算。 22,第2期,105-128(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{G.Weissenbacher},正式Asp。计算。22,第2号,第105-128条(2010;Zbl 1215.68130) 全文: 内政部 哈尔
拉里萨·梅尼基;金·索林 概率程序的精化代数。 (英语) Zbl 1183.68198号 正式Asp。计算。 22,第1期,3-31页(2010年).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Meinicke}和\textit{K.Solin},正式Asp。计算。22,第1号,第3--31号(2010;Zbl 1183.68198) 全文: 内政部 哈尔
阿扬·J·穆伊(Arjan J.Mooij)。 关于参数化安全协议的基于不变量的推理。 (英语) 兹比尔1183.68201 正式Asp。计算。 第1号第22页,第63-81页(2010年).MSC公司:68N99型 60年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Mooij},正式Asp。计算。22,编号1,63--81(2010;Zbl 1183.68201) 全文: 内政部
朱迪·鲍文;史蒂夫·里夫斯 优化用户界面设计。 (英语) Zbl 1186.68080号 正式Asp。计算。 21,第6号,589-612(2009).MSC公司:68M99型 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bowen}和\textit{S.Reeves},正式Asp。计算。21,第6号,589--612(2009;Zbl 1186.68080) 全文: 内政部 链接
克里斯蒂安·马萨拉古;魏恩根·钦;安德烈·特凡;瓦西里·阿莱巴 业务流程规范和验证的严格方法。 (英语) Zbl 1184.68340号 正式Asp。计算。 21,第5期,495-510(2009).MSC公司:60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{C.Masalagiu}等人,正式Asp。计算。21,第5号,495--510(2009;Zbl 1184.68340) 全文: 内政部
英戈·费纳勒;格诺·萨尔泽 正式软件验证教学工具的比较。 (英语) Zbl 1160.68439号 正式Asp。计算。 21,第3期,293-301(2009).MSC公司:60年第68季度 97立方厘米80 PDF格式BibTeX公司 XML格式引用 \textit{I.Feinerer}和\textit{G.Salzer},正式Asp。计算。21,第3号,293--301(2009;Zbl 1160.68439) 全文: 内政部 哈尔
沃尔夫冈·施莱纳 RISC ProofNavigator:课堂上程序验证的证明助手。 (英语) Zbl 1162.68478号 正式Asp。计算。 21,第3期,277-291(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Schreiner},正式Asp。计算。21,第3号,277--291(2009;Zbl 1162.68478) 全文: 内政部 哈尔
林赛·格罗夫斯;罗伯特·科尔文 可扩展无锁堆栈算法的基于跟踪的推导。 (英语) Zbl 1165.68064号 正式Asp。计算。 21,第1-2号,187-223(2009).MSC公司:68周05 PDF格式BibTeX公司 XML格式引用 \textit{L.Groves}和\textit{R.Colvin},正式Asp。计算。21,编号1--2187-223(2009;Zbl 1165.68064) 全文: 内政部
斯莱尼娜,马蒂奥;Henny B.西普玛。;佐哈尔·曼纳 交流系统的演绎验证。 (英语) Zbl 1152.68032号 正式Asp。计算。 20,编号4-5,507-560(2008).MSC公司:60年第68季度 03B44号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Slanina}等人,《正式Asp》。计算。20,编号4-5507-560(2008;兹bl 1152.68032) 全文: 内政部
弗洛里安·卡姆米勒 在Coq中对简单字节码语言的非干涉进行形式化。 (英语) Zbl 1151.68633号 正式Asp。计算。 20,第3期,259-275(2008).MSC公司:第68页第15页 68甲15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kammüller},正式Asp。计算。20,第3号,259--275(2008;Zbl 1151.68633) 全文: 内政部
Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒 顺序面向对象程序的规范和验证挑战。 (英语) Zbl 1121.68074号 正式Asp。计算。 19,第2期,159-189(2007).MSC公司:60年第68季度 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人,正式Asp。计算。19,第2号,159--189(2007;Zbl 1121.68074) 全文: 内政部 链接
伊贡博格尔 地面模型的构建和分析及其改进,作为验证基于计算机的系统的基础。 (英语) Zbl 1123.68036号 正式Asp。计算。 19,第2期,225-241(2007).MSC公司:2005年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger},正式Asp。计算。19,第2号,225--241(2007;Zbl 1123.68036) 全文: 内政部
艾苏贝汀坎;特夫菲克·布尔坦 使用验证设计的高可靠性并发编程。 (英语) Zbl 1121.68027号 正式Asp。计算。 19,第2期,243-268(2007).MSC公司:68号30 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Betin-Can}和\textit{T.Bultan},正式Asp。计算。19,第2号,243--268(2007;Zbl 1121.68027) 全文: 内政部
大卫·皮姆;克里斯·托夫茨 资源和过程的演算和逻辑。 (英语) Zbl 1111.68086号 正式Asp。计算。 18,第4期,495-517(2006); 勘误表同上19,第4号,551-554(2007年)。MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{C.Tofts},正式Asp。计算。18,第4号,495--517(2006;Zbl 1111.68086) 全文: 内政部
凯瑟琳·维古鲁父母 验证归纳结构演算中的程序。 (英语) Zbl 0905.68092号 正式Asp。计算。 9,第5-6号,484-517(1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Parent-Vigouroux},正式Asp。计算。9,编号5--6484--517(1997;Zbl 0905.68092) 全文: 内政部
迈克尔·汉森。;周朝晨 持续时间演算:逻辑基础。 (英语) Zbl 0887.68101号 正式Asp。计算。 9,第3期,283-330(1997).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Hansen}和\textit{Z.Chaochen},正式Asp。计算。9,第3号,283--330(1997;Zbl 0887.68101) 全文: 内政部
查兰吉特·朱特拉。;Josyula R.拉奥。 为公平并行程序设计证明规则的方法。 (英语) Zbl 0889.68101号 正式Asp。计算。 9,第4期,359-378(1997).MSC公司:68问题55 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Jutla}和\textit{J.R.Rao},正式Asp。计算。9,第4号,359--378(1997;Zbl 0889.68101) 全文: 内政部
阿尔班·蓬塞 可计算过程和互模拟等价。 (英语) Zbl 0862.68052号 正式Asp。计算。 8,第6号,648-678(1996).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse},正式Asp。计算。8,第6号,648--678(1996;Zbl 0862.68052) 全文: 内政部
背面,R.J.R。;塞雷,K。 反应系统的叠加细化。 (英语) Zbl 0852.68008号 正式Asp。计算。 8,第3期,324-346(1996).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和\textit{K.Sere},正式Asp。计算。8,第3号,324--346(1996;Zbl 0852.68008) 全文: 内政部
巴顿,J.C.M。;J.A.伯格斯特拉。 离散时间过程代数。 (英语) Zbl 0849.68033号 正式Asp。计算。 8,第2期,188-208(1996).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra},正式Asp。计算。8,第2号,188--208(1996;Zbl 0849.68033) 全文: 内政部
凯蒂尔·斯特伦;弗兰克·德德里奇;韦伯、雷纳 使用假设/承诺范式规范和细化异步通信代理网络。 (英语) Zbl 0846.68067号 正式Asp。计算。 第8期,第2期,第127-161页(1996年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Stölen}等人,正式Asp。计算。8,第2号,127--161(1996;Zbl 0846.68067) 全文: 内政部
保罗S.C.阿伦卡尔。;卡洛斯·德·卢塞纳(Carlos J.P.de Lucena)。 演化软件系统的逻辑框架。 (英语) Zbl 0843.68110号 正式Asp。计算。 8,第1期,第3-46页(1996年).MSC公司:68T27型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{P.S.C.Alencar}和\textit{C.J.P.de Lucena},正式Asp。计算。8,第1号,第3-46号(1996;Zbl 0843.68110) 全文: 内政部
谢尔盖·戈拉奇;克里斯蒂安·伦戈尔 Bird-Meertens形式主义中分裂与征服的并行化。 (英语) Zbl 0841.68055号 正式Asp。计算。 7,第6期,663-682(1995).MSC公司:68宽15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gorlatch}和\textit{C.Lengauer},正式Asp。计算。7,第6号,663--682(1995;Zbl 0841.68055) 全文: 内政部
伊恩·蒙 序列对象系统中的模拟、子类型和可替换性。 (英语) Zbl 0841.68033号 正式Asp。计算。 7,第6号,620-651(1995).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Maung},正式Asp。计算。7,编号620-651(1995年;Zbl 0841.68033) 全文: 内政部
我·雷维茨基。;布林克,C。 将变压器作为电源操作。 (英语) Zbl 0835.68075号 正式Asp。计算。 7,第2期,169-182(1995).MSC公司:68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Rewitzky}和\textit{C.Brink},正式Asp。计算。7,第2号,169--182(1995;Zbl 0835.68075) 全文: 内政部
直纪小林;Akinori Yonezawa 基于线性逻辑的异步通信模型。 (英语) Zbl 0835.68016号 正式Asp。计算。 7,第2期,113-149(1995).MSC公司:68N17号 2010年第68季度 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}和\textit{A.Yonezawa},正式Asp。计算。7,编号2,113--149(1995;Zbl 0835.68016) 全文: 内政部
科宁,J。 霍尔逻辑和VDM。 (英语) Zbl 0817.68100号 正式Asp。计算。 7,第1期,91-105(1995).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.科宁},正式Asp。计算。7,第1号,91--105(1995;Zbl 0817.68100) 全文: 内政部
史蒂夫·金;摩根,卡罗尔 退出精化演算。 (英语) 兹伯利0817.68040 正式Asp。计算。 第7期,第1期,第54-76页(1995年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.King}和\textit{C.Morgan},正式Asp。计算。7,编号1,54--76(1995;Zbl 0817.68040) 全文: 内政部