格雷格·迈克尔森 书评:F.Nielson和H.Riis Nielson,形式方法。开胃菜。 (英语) Zbl 1522.00084号 正式Asp。计算。 34,第2号,第12号论文,第2页(2022年).MSC公司:00A17年 68-01 68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Michaelson},正式Asp。计算。34,第2号,第12号论文,第2页(2022年;Zbl 1522.00084) 全文: 内政部
莱因哈德·威廉 书评:P.Cousot,抽象解释原则。 (英语) Zbl 1522.00134号 正式Asp。计算。 34,第2号,第11号论文,第3页(2022年).MSC公司:00A17年 68-01 68号01 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Wilhelm},正式Asp。计算。34,第2号,第11号论文,第3页(2022年;Zbl 1522.00134) 全文: 内政部
塞缪尔·科沃德;劳伦斯·鲍尔森;西奥·德雷恩;埃米利亚诺·莫里尼 使用自动定理证明器对先验固定和浮点算法进行形式化验证。 (英语) Zbl 1522.68306号 正式Asp。计算。 34,第2号,第9号论文,22页(2022年).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Coward}等人,正式Asp。计算。34,第2号,第9号文件,第22页(2022;兹bl 1522.68306) 全文: 内政部
蔡成浩;孙静;吉莉安·多比;Hóu,Zhé;新娘,哈德里安;董金松;李,斯科特·尤金 使用同时修改和重构的快速自动化抽象机器修复。 (英语) Zbl 1522.68300号 正式Asp。计算。 34,第2号,第8号论文,31页(2022年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Cai}等人,《正式评论》。计算。34,第2号,第8号论文,31页(2022年;Zbl 1522.68300) 全文: 内政部
希切姆·黛比 概率模型的调试游戏。 (英语) Zbl 1522.68308号 正式Asp。计算。 34,第2号,第7号论文,25页(2022年).MSC公司:60年第68季度 60J20型 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{H.Debbi},正式Asp。计算。34,第2号,第7号论文,25页(2022年;Zbl 1522.68308) 全文: 内政部
克利夫·琼斯。;马丁·托马斯 英国正式方法的开发和部署。 (英语) Zbl 1522.68009号 正式Asp。计算。 34,第1号,第6号论文,21页(2022年).MSC公司:2003年8月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}和\textit{M.Thomas},正式Asp。计算。34,第1号,第6号论文,21页(2022年;Zbl 1522.68009) 全文: 内政部 arXiv公司
托马斯·库利克;布里杰什·多戈尔;拉森,彼得·戈尔姆;马其顿,雨果·丹尼尔;史蒂夫·施耐德;彼得·沃根森(Peter W.V.Tran-Jörgensen)。;詹姆斯·伍德科克 安全性的实用形式化方法综述。 (英语) Zbl 1522.68089号 正式Asp。计算。 34,第1号,第5号论文,39页(2022年).MSC公司:68平方米25 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kulik}等人,正式Asp。计算。34,第1号,第5号论文,39页(2022年;Zbl 1522.68089) 全文: 内政部 arXiv公司
安德烈亚斯·休姆伯格;达内什瓦·阿姆罗拉希;尼古拉·比约纳;劳拉·科瓦奇 基于代数的回路综合推理。 (英语) Zbl 1522.68155号 正式Asp。计算。 34,第1号,第4号论文,31页(2022年).MSC公司:68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Humenberger}等人,《形式语法》。计算。34,第1号,第4号论文,31页(2022年;Zbl 1522.68155) 全文: 内政部 arXiv公司
斯特拉·西米奇;阿尔贝托·本普拉德;奥马尔·因弗索;米尔科·特里巴斯通 定点运算中的严密误差分析。 (英语) Zbl 1522.68162号 正式Asp。计算。 34,第1号,第3号论文,32页(2022年).MSC公司:68号30 65G99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Simić}等人,正式Asp。计算。34,第1号,第3号论文,32页(2022年;Zbl 1522.68162) 全文: 内政部
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 基于事件/数据的系统的混合动态逻辑机构。 (英语) Zbl 1522.68322号 正式Asp。计算。 第6号第33页,1209-1248页(2021).MSC公司:60年第68季度 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,《正式Asp》。计算。33,第6号,1209--1248(2021;Zbl 1522.68322) 全文: 内政部 arXiv公司
马克西姆·科尔迪;萨米人拉兹雷格;迈克,帕帕达基斯;Legay、Axel 变量密集型系统的统计模型检查:应用于缺陷检测和最小化。 (英语) Zbl 1522.68305号 正式Asp。计算。 33,第6期,1147-1172(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人,正式Asp。计算。33,编号6,1147--1172(2021;Zbl 1522.68305) 全文: 内政部
帕特里克·Stünkel;哈拉尔德·科尼格;Yngve拉莫;阿德里安·拉特尔 综合系统:多模型一致性管理的正式基础。 (英语) Zbl 1522.68347号 正式Asp。计算。 33,第6期,1067-1114(2021).MSC公司:60年第68季度 18B50型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Stünkel}等人,正式Asp。计算。33,编号6,1067--1114(2021;Zbl 1522.68347) 全文: 内政部
克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼;鲍拉·斯波莱蒂尼 TOrPEDO:用拓扑证明见证模型的正确性。 (英语) Zbl 1522.68335号 正式Asp。计算。 33,第6号,1039-1066(2021).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。33,第6号,1039--1066(2021;Zbl 1522.68335) 全文: 内政部
简·佩莱斯卡;克拉夫茨克,尼古拉斯;安妮·E·哈克斯豪森。;拉尔夫·平格尔 地理联锁系统的有效数据验证。 (英语) Zbl 1522.68341号 正式Asp。计算。 33,第6号,925-955(2021).MSC公司:60年第68季度 03B44号 64岁以下 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Peleska}等人,正式Asp。计算。33,编号6,925--955(2021;Zbl 1522.68341) 全文: 内政部
克莱门斯·杜伯斯拉夫;帕特里克·科普曼;安妮·亚斯敏(Anni-Yasmin Turhan) 使用本体增强概率模型检查。 (英语) Zbl 1522.68310号 正式Asp。计算。 33,第6号,885-921(2021).MSC公司:60年第68季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}等人,《形式语法》。计算。33,第6号,885--921(2021;Zbl 1522.68310) 全文: 内政部
加尔阿姆拉姆;沙哈尔·茂兹;活塞,或 GR(1)*:通过存在保证扩展的GR(一)规范。 (英语) Zbl 1519.68129号 正式Asp。计算。 33,编号4-5,729-761(2021).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人,正式Asp。计算。33,编号4--5,729--761(2021;Zbl 1519.68129) 全文: 内政部
亚历山大·伊万杰里迪斯;大卫·帕克 卡尔曼滤波器的定量验证。 (英语) Zbl 1519.68134号 正式Asp。计算。 33,编号4-5,669-693(2021).MSC公司:60年第68季度 62M20型 87年第68季度 93E11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Evangelidis}和\textit{D.Parker},正式Asp。计算。33,编号4--5,669--693(2021;Zbl 1519.68134) 全文: 内政部
科什卡,米兰;克里斯蒂安·亨塞尔;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 概率系统的反例引导归纳综合。 (英语) 兹比尔1519.68055 正式Asp。计算。 33,编号4-5,637-667(2021).MSC公司:68号30 60J20型 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人,《正式Asp》。计算。33,编号4--5,637--667(2021;Zbl 1519.68055) 全文: 内政部
约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;海克·卫尔海姆 验证持久并发数据结构的正确性:一种完善的方法。 (英语) 兹比尔1519.68133 正式Asp。计算。 33,编号4-5547-573(2021).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人,正式Asp。计算。33,编号4--5,547--573(2021;Zbl 1519.68133) 全文: 内政部
Tran,Hoang-Dung村;内拉尼亚娜·帕尔;迭戈·曼扎纳斯·洛佩兹;帕特里克·穆索;杨晓东;阮、滦越;项伟明;斯坦利·巴克;泰勒·T·约翰逊。 分段深度神经网络的验证:带zonotope预滤器的星集方法。 (英语) 兹比尔1519.68143 正式Asp。计算。 33,编号4-5,519-545(2021).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人,正式Asp。计算。33,编号4--5,519--545(2021;Zbl 1519.68143) 全文: 内政部
Tan,Yong Kiam先生;安德烈·普拉泽 微分方程存在性和活性的公理方法。 (英语) Zbl 1519.68141号 正式Asp。计算。 33,编号4-5,461-518(2021).MSC公司:60年第68季度 03B70号 34甲12 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}和\textit{A.Platzer},正式Asp。计算。33,编号4--5,461--518(2021;Zbl 1519.68141) 全文: 内政部 arXiv公司
杨鹏飞;李建林;刘江超;黄成超;李仁觉;陈丽倩;黄晓伟;张丽君 通过符号传播增强深度神经网络的鲁棒性验证。 (英语) Zbl 1519.68228号 正式Asp。计算。 33,第3期,407-435(2021年).MSC公司:68T07型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Yang}等人,正式Asp。计算。33,编号3,407--435(2021;Zbl 1519.68228) 全文: 内政部
罗西,马蒂奥 书评:J.F.Groote和M.R.Mousavi,通信系统的建模和分析。 (英语) 1460.00021赞比亚比索 正式Asp。计算。 33,第2号,297-298(2021).MSC公司:00A17年 68-02 68米10 68个M12 64岁以下 60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Rossi},正式Asp。计算。33,第2号,297--298(2021;Zbl 1460.00021) 全文: 内政部
马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;大卫·琼斯;克里斯蒂安·马塔雷 使用xSAP对三模块发电机进行基于模型的安全评估。 (英语) Zbl 1511.68149号 正式Asp。计算。 33,第2期,251-295(2021).MSC公司:60年第68季度 93-10 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。33,第2号,251--295(2021;Zbl 1511.68149) 全文: 内政部
谢万玲;朱慧彪;徐启文 移动系统的进程演算BigrTiMo及其形式语义。 (英语) 兹比尔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) 全文: 内政部
维姆·赫塞林克。 UNITY和Büchi自动机。 (英语) Zbl 1511.68182号 正式Asp。计算。 33,第2期,185-205(2021).MSC公司:68问题85 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。33,编号2,185--205(2021;Zbl 1511.68182) 全文: 内政部
托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 使用效果和效果处理程序对程序进行模块化验证。 (英语) Zbl 1458.68119号 正式Asp。计算。 第1127-150号第33页(2021).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Letan}等人,正式Asp。计算。33,编号1,127--150(2021;Zbl 1458.68119) 全文: 内政部
盖斯勒,S。;A.E.哈克斯豪森。 使用RAISE对分布式联锁系统进行逐步开发和模型检查。 (英语) Zbl 1458.68117号 正式Asp。计算。 33,编号1,87-125(2021).MSC公司:60年第68季度 90B20型 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Geisler}和\textit{A.E.Haxthausen},正式Asp。计算。33,编号1,87-125(2021;Zbl 1458.68117) 全文: 内政部 链接
亚伦·杜特尔;玛丽亚诺·莫斯卡托;劳拉·蒂托洛;穆尼奥斯,塞萨尔;格雷戈里·安德森;弗朗索瓦·博博特 紧凑位置报告算法的形式化分析。 (英语) 兹比尔1458.68273 正式Asp。计算。 33,第1号,65-86(2021).MSC公司:68单位35 6504年 68页30 60年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Dutle}等人,正式Asp。计算。33,编号1,65--86(2021;Zbl 1458.68273) 全文: 内政部
戴维德·卡维扎(Davide G.Cavezza)。;达拉·阿拉杰;安德拉斯·吉尔吉 GR(1)公式的弱点度量。 (英语) Zbl 1458.68115号 正式Asp。计算。 33,编号1,27-63(2021).MSC公司:60年第68季度 03B44号 28A80型 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人,《形式Asp》。计算。33,编号1,27--63(2021;Zbl 1458.68115) 全文: 内政部
陈珊妍;王国辉;李锡盟;张倩莹;史志平;关、勇 基于罗德里格斯公式的摄像机姿态估计算法的形式化。 (英语) Zbl 1458.68226号 正式Asp。计算。 32,编号4-6,417-437(2020).MSC公司:68T45型 60年第68季度 68T40型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}等人,正式Asp。计算。32,编号4--6,417--437(2020;Zbl 1458.68226) 全文: 内政部
阿依达·拉胡伊;拉萨·哈默勒;穆罕默德·格雷特;贝歇尔·艾伊布 基于Event-B的云复合服务验证方法。 (英语) Zbl 1458.68014号 正式Asp。计算。 32,编号4-6,361-393(2020).MSC公司:68英里11 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lahouij}等人,正式Asp。计算。32,编号4--6361--393(2020;Zbl 1458.68014) 全文: 内政部
马蒂厄·雷纳德;安托万·罗莱;伊利耶斯·法尔科内 使用游戏对计时属性进行运行时强制。 (英语) Zbl 1458.68120号 正式Asp。计算。 32,编号2-3,315-360(2020).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人,《正式Asp》。计算。32,编号2--3,315--360(2020;Zbl 1458.68120) 全文: 内政部 哈尔
阿德南·拉希德;奥斯曼·哈桑 使用HOL灯. (英语) Zbl 1458.68220号 正式Asp。计算。 32,编号2-3,229-250(2020).MSC公司:68T40型 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rashid}和\textit{O.Hasan},正式Asp。计算。32,编号2--3,229--250(2020;Zbl 1458.68220) 全文: 内政部 arXiv公司
道格拉斯·弗雷泽;鲁本·贾昆塔;鲁思·霍夫曼;爱尔兰,穆雷;爱丽丝·米勒;格钦·诺曼 自治系统控制器综合的协作模型。 (英语) Zbl 1458.68219号 正式Asp。计算。 32,编号2-3,157-186(2020).MSC公司:68T40型 60年第68季度 93甲16 93亿B50 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fraser}等人,正式Asp。计算。32,编号2--3,157-186(2020;Zbl 1458.68219) 全文: 内政部
亚历山大·纳普;马库斯·罗根巴赫 书评:A.Platzer,《网络物理系统的逻辑基础》。 (英语) Zbl 1451.00040号 正式Asp。计算。 32,第1期,149-151(2020).MSC公司:00A17年 93-01 03-01 03B70号 03B80号 68-01 60年第68季度 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}和\textit{M.Roggenbach},正式Asp。计算。32,第1号,149--151(2020;Zbl 1451.00040) 全文: 内政部
乔纳森·鲍文(Jonathan P.Bowen)。 书评:G.O'Regan,形式方法简明指南:理论、基础和工业应用。 (英语) Zbl 1451.00026号 正式Asp。计算。 32,第1期,147-148(2020年).MSC公司:00A17年 68-01 03B70号 68号30 65年第68季度 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen},正式Asp。计算。32,第1号,147--148(2020;Zbl 1451.00026) 全文: 内政部
巴雷西,L。;M.M.贝尔萨尼。;F.马可尼。;G.夸特罗奇。;罗西,M。 使用形式验证评估Spark应用程序的执行时间。 (英语) Zbl 1451.68166号 正式Asp。计算。 32,编号1,33-70(2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Baresi}等人,《形式语法》。计算。32,第1号,33-70(2020;Zbl 1451.68166) 全文: 内政部 链接
刘,思;彼得·塞巴·奥维茨基;王琪;因德拉尼尔·古普塔;何塞·梅塞盖尔 阅读防止更新丢失的原子事务:ROLA及其形式分析。 (英语) Zbl 1425.68096号 正式Asp。计算。 31,编号503-540(2019).MSC公司:第68页,共15页 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人,正式Asp。计算。31,第5号,503--540(2019;Zbl 1425.68096) 全文: 内政部 链接
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: 内政部
伊戈尔·康诺夫 书评:E.M.Clarke(编辑)等,《模型检查手册》。 (英语) Zbl 1435.00030号 正式Asp。计算。 31,4号,455-456(2019).MSC公司:00A17年 68-00 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov},正式Asp。计算。31,第4号,455--456(2019;Zbl 1435.00030) 全文: 内政部
洛维,加文 发现并纠正通道实现中的死锁。 (英语) Zbl 1425.68297号 正式Asp。计算。 31,4号,411-419(2019).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe},正式Asp。计算。31,第4411-419号(2019年;兹bl 1425.68297) 全文: 内政部
佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 使用基于局部分析的近似和SAT求解对并发系统进行有效验证。 (英语) Zbl 1425.68285号 正式Asp。计算。 31,第3号,375-409(2019).MSC公司:68问题85 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonino}等人,《正式Asp》。计算。31,第3号,375--409(2019;Zbl 1425.68285) 全文: 内政部
西迪·穆罕默德·贝拉希;穆罕默德·尤斯里·马哈茂德;索菲涅·塔哈尔 光学量子电路的建模和验证框架。 (英语) Zbl 1425.68250号 正式Asp。计算。 31,3号,321-351(2019).MSC公司:60年第68季度 68吨15 81页68 81V80型 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Beillahi}等人,正式Asp。计算。31,第3号,321--351(2019;Zbl 1425.68250) 全文: 内政部
小林,津都;石川,Fuyuki;新一弘毅 Event-B模型中精炼结构的一致性保持重构。 (英语) Zbl 1425.68075号 正式Asp。计算。 31,第3号,287-320(2019).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kobayashi}等人,正式Asp。计算。31,第3号,287--320(2019;Zbl 1425.68075) 全文: 内政部
亚历山大·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 为提升分析寻找合适的变异性抽象。 (英语) Zbl 1425.68067号 正式Asp。计算。 第231-259号第31页(2019年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,《形式Asp》。计算。31,第2号,231--259(2019;Zbl 1425.68067) 全文: 内政部
法布里齐奥·比昂迪;川本优助;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公司
伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 同步程序代数:关于共享内存和基于事件的并发性的推理基础。 (英语) Zbl 1425.68293号 正式Asp。计算。 31,2号,133-163(2019).MSC公司:68问题85 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes}等人,《形式语法》。计算。31,第2号,133--163(2019;Zbl 1425.68293) 全文: 内政部 arXiv公司
林玉辉;阿兰·邦迪;古德蒙德·格罗夫;埃文·麦克林 通过涟漪和校样修补实现Event-B不变校样的自动化。 (英语) Zbl 1425.68077号 正式Asp。计算。 31,第1号,95-129(2019).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}等人,正式Asp。计算。31,第1号,95-129(2019;Zbl 1425.68077) 全文: 内政部
Ying,明生 实现量子程序的自动验证。 (英语) Zbl 1425.68271号 正式Asp。计算。 31,第1号,3-25(2019).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying},正式Asp。计算。31,第1号,第3--25号(2019年;Zbl 1425.68271) 全文: 内政部 arXiv公司
罗伯托·布鲁尼;罗伯托·贾科巴齐;罗伯塔·戈里 针对抽象优化攻击的代码混淆。 (英语) Zbl 1425.68065号 正式Asp。计算。 30,第6号,685-711(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,《形式语法》。计算。30,第6号,685--711(2018;Zbl 1425.68065) 全文: 内政部 链接
纪尧姆·佩蒂奥;尼古拉·科马托夫;伯纳德·波特拉;阿兰·乔治蒂;雅克·朱利安德 测试如何帮助诊断验证失败。 (英语) Zbl 1425.68079号 正式Asp。计算。 30,第6号,629-657(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Petiot}等人,《形式Asp》。计算。30,编号6269-657(2018;兹bl 1425.68079) 全文: 内政部 哈尔
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) 全文: 内政部 哈尔
靖亚萍;安德鲁·米纳(Andrew S.Miner)。 计算树度量语言(CTML)。 (英语) 兹比尔1398.68344 正式Asp。计算。 30,编号3-4,443-462(2018).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jing}和\textit{A.S.Miner},正式Asp。计算。30,编号3--4,443--462(2018;Zbl 1398.68344) 全文: 内政部
约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 不透明的机械化证明:两种技术的比较。 (英语) Zbl 1395.68186号 正式Asp。计算。 30,第5期,597-625(2018).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}等人,正式Asp。计算。30,第5号,597--625(2018;Zbl 1395.68186) 全文: 内政部
卡拉姆Abd Elkader;奥尔纳·格伦伯格;Păsăreanu,科琳娜·s。;沙龙·肖姆 自动循环假设保证推理。 (英语) Zbl 1395.68184号 正式Asp。计算。 30,第5期,571-595(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Abd Elkader}等人,正式Asp。计算。30,编号5751-595(2018;兹bl 1395.68184) 全文: 内政部
尼古拉·比约纳(编辑);法兰克·德波尔(编辑);安德鲁·巴特菲尔德(编辑) 编辑。 (英语) Zbl 1395.68007号 正式Asp。计算。 30,第5期,493-494(2018).MSC公司:68-06 00B25型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Björner}(编辑)等,《形式语法》。计算。30,第5号,493--494(2018;Zbl 1395.68007) 全文: 内政部
里卡多·西斯托;皮耶吉乌塞佩·贝塔萨·科佩特;阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 使用JavaSPI正式实现安全协议。 (英语) Zbl 1382.68027号 正式Asp。计算。 30,第2号,279-317(2018).MSC公司:68个M12 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sisto}等人,正式Asp。计算。30,第2号,279--317(2018;Zbl 1382.68027) 全文: 内政部 链接
佩德森,Jan B。;彼得·H·韦尔奇。 并发和验证的共生:教学和案例研究。 (英语) Zbl 1382.68144号 正式Asp。计算。 30,第2期,239-277(2018).MSC公司:60年第68季度 68问题85 97页20 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Pedersen}和\textit{P.H.Welch},正式Asp。计算。30,第2号,239--277(2018;Zbl 1382.68144) 全文: 内政部
张慧;吴金钊 MPSoC数据动态的形式验证和定量度量。 (英语) Zbl 1382.68145号 正式Asp。计算。 30,第2期,219-237(2018).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu},正式Asp。计算。30,第2号,219--237(2018;Zbl 1382.68145) 全文: 内政部
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 (英语) Zbl 1382.68142号 正式Asp。计算。 30,第2期,193-217(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,正式Asp。计算。30,第2号,193--217(2018;Zbl 1382.68142) 全文: 内政部
斯特吕贝尔,D。;J.鲁宾。;阿伦特,T。;M.契契克。;泰特泽,G。;Pöger,J。 基于变量的模型转换:形式基础和应用。 (英语) Zbl 1380.68133号 正式Asp。计算。 30,第1期,133-162(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Strüber}等人,正式Asp。计算。30,第1号,133--162(2018;Zbl 1380.68133) 全文: 内政部
莱切内特,Jean-Christophe;尼古拉·科马托夫;帕斯卡尔·勒加尔 在寻找错误之前先剪下树枝:在松弛的切片上进行可靠的验证。 (英语) 兹比尔1380.68127 正式Asp。计算。 30,第1期,107-131(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Léchenet}等人,《正式Asp》。计算。30,第1号,107--131(2018;Zbl 1380.68127) 全文: 内政部
马库斯·格霍尔德;玛丽·斯托琳加 概率系统的基于模型的测试。 (英语) Zbl 1380.68303号 正式Asp。计算。 30,第1期,77-106(2018).MSC公司:87年第68季度 68米15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gerhold}和\textit{M.Stoelinga},正式Asp。计算。30,第1号,77--106(2018;Zbl 1380.68303) 全文: 内政部
德普特、桑德;安东·威伊斯 行为模型到模型转换的形式化验证技术。 (英语) Zbl 1380.68286号 正式Asp。计算。 30,第1期,第3-43期(2018年).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.de Putter}和\textit{A.Wijs},正式Asp。计算。30,第1号,第3--43号(2018;Zbl 1380.68286) 全文: 内政部
丹尼·埃文(编辑);佩迪塔·史蒂文斯(编辑);安德烈·索夫斯基(编辑) 编辑。 (英语) Zbl 1380.68008号 正式Asp。计算。 30,第1、1号(2018).MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Denney}(编辑)等,《正式评论》。计算。30,第1、1号(2018;Zbl 1380.68008) 全文: 内政部
Yousefi、Behnaz;法特梅·加塞米;拉丁·科斯拉维 无线自组织网络的建模和有效验证。 (英语) Zbl 1377.68028号 正式Asp。计算。 29,第6号,1051-1086(2017).MSC公司:68米10 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Yousefi}等人,正式Asp。计算。29,第6号,1051--1086(2017;Zbl 1377.68028) 全文: 内政部 arXiv公司
拉米罗·德马西;巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。;纳扎雷诺·阿吉雷 容错仿真关系。 (英语) Zbl 1377.68044号 正式Asp。计算。 29,第6号,1013-1050(2017).MSC公司:68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Demasi}等人,《形式Asp》。计算。29,第6号,1013--1050(2017;Zbl 1377.68044) 全文: 内政部
穆罕默德·格雷特;拉萨·哈默勒;阿梅尔·曼玛;萨米尔·塔塔 基于弹性组件的应用程序的验证和部署方法。 (英语) Zbl 1377.68039号 正式Asp。计算。 29,第6期,987-1011(2017).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Graiet}等人,《正式Asp》。计算。29,编号61987--1011(2017;兹bl 1377.68039) 全文: 内政部
彼得·施拉梅尔;丹尼尔·克罗宁;布莱恩,马丁;鲁本·马丁斯;蒂诺·特伊格;汤姆·比恩米勒 嵌入式软件的增量有界模型检查。 (英语) Zbl 1375.68081号 正式Asp。计算。 29,第5期,911-931(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}等人,《形式语法》。计算。29,第5号,911--931(2017;Zbl 1375.68081) 全文: 内政部 arXiv公司
鲁米亚纳内科娃;劳拉·博奇;吉田、Nobuko 多方对话的定时运行时监视。 (英语) Zbl 1375.68030号 正式Asp。计算。 29,第5号,877-910(2017).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Neykova}等人,正式Asp。计算。29,第5号,877--910(2017;Zbl 1375.68030) 全文: 内政部 arXiv公司 链接
维姆·赫塞林克。 相互排斥的锦标赛:验证和并发复杂性。 (英语) Zbl 1375.68079号 正式Asp。计算。 29,第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 1375.68080号 正式Asp。计算。 29,第5期,777-803(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Janík}和\textit{J.Kofroň},正式Asp。计算。29,第5号,777--803(2017;Zbl 1375.68080) 全文: 内政部
王淑玲;詹乃军;张丽君 随机混合系统的组合建模和验证框架。 (英语) 兹比尔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) 全文: 内政部
乔达里,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环境。 (英语) 兹比尔1358.68195 正式Asp。计算。 29,编号2309-334(2017).MSC公司:60年第68季度 第68页第20页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,正式Asp。计算。29,第2号,309--334(2017;Zbl 1358.68195) 全文: 内政部
罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼;米拉·达拉·普雷达 最大不完全性作为混淆效力。 (英语) Zbl 1355.68053号 正式Asp。计算。 29,第1期,3-31(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}等人,正式Asp。计算。29,第1号,第3--31号(2017;Zbl 1355.68053) 全文: 内政部
瑟·特凡·乔巴赫;多雷尔·卢卡努;弗拉德·鲁苏;格里高·罗什乌 一个独立于语言的完整程序等价性证明系统。 (英语) Zbl 1355.68051号 正式Asp。计算。 28,第3期,469-497(2016).MSC公司:68号30 03B70号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人,《形式Asp》。计算。28,第3号,469--497(2016;Zbl 1355.68051) 全文: 内政部 哈尔
亚历山大·布尔加科夫;托马斯·吉布森·罗宾逊;A.W.罗斯科。 计算最大弱互模拟和其他互模拟。 (英语) Zbl 1355.68190号 正式Asp。计算。 28,第3期,381-407(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Boulgakov}等人,正式Asp。计算。28,第3号,381--407(2016;Zbl 1355.68190) 全文: 内政部
文斯·莫尔纳;安德拉斯·Vörös;达尼尔·达瓦斯;塔马斯·巴塔;伊斯坦·马齐克 组件级增量LTL模型检查。 (英语) Zbl 1355.68178号 正式Asp。计算。 28,第3号,345-379(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Molnár}等人,《形式Asp》。计算。28,第3号,345--379(2016;Zbl 1355.68178) 全文: 内政部 链接
伊恩·海耶斯。 广义相对保证并发:代数基础。 (英语) 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公司
Ryan Kirwan;爱丽丝·米勒;伯恩德·波尔 使用带有嵌入式C代码和抽象的Promela对学习代理系统进行模型检查。 (英语) Zbl 1348.68250号 正式Asp。计算。 28,第6期,1027-1056(2016).MSC公司:68T40型 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kirwan}等人,《正式Asp》。计算。28,第6号,1027--1056(2016;Zbl 1348.68250) 全文: 内政部
佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 关于异步通信的多样性。 (英语) Zbl 1345.68022号 正式Asp。计算。 28,第5期,847-879(2016).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevrou}等人,正式Asp。计算。28,第5号,847--879(2016;Zbl 1345.68022) 全文: 内政部 哈尔
埃蒂安·安德烈;穆罕默德·马赫迪·本穆萨;乔比,克莉丝汀 使用彩色Petri网对并发UML状态机进行形式化。 (英语) Zbl 1345.68226号 正式Asp。计算。 28,第5期,805-845(2016).MSC公司:68问题85 68问题55 60年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《正式Asp》。计算。28,第5号,805--845(2016;Zbl 1345.68226) 全文: 内政部
法特玛杰巴利;弗雷德里克·朗;拉杜·马特埃斯库 使用GRL和CADP对GALS系统进行正式建模和验证。 (英语) Zbl 1345.68023号 正式Asp。计算。 28,第5期,767-804(2016).MSC公司:64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Jebali}等人,正式Asp。计算。28,第5号,767--804(2016;Zbl 1345.68023) 全文: 内政部 哈尔
古斯塔沃·卡瓦略;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 根据自然语言要求对定时反应系统进行建模。 (英语) Zbl 1345.93024号 正式Asp。计算。 28,第5期,725-765(2016).MSC公司:93A30型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Carvalho}等人,《正式Asp》。计算。28,第5号,725--765(2016;Zbl 1345.93024) 全文: 内政部 链接
斯蒂芬·默兹(编辑);庞、军(编辑);董金松(编辑) 编辑。 (英语) Zbl 1345.00025号 正式Asp。计算。 28,第5期,723-724(2016).MSC公司:00B25型 68-06 60年第68季度 68问题85 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}(编辑)等人,《形式语法》。计算。28,第5号,723--724(2016;Zbl 1345.00025) 全文: 内政部
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;雨果·托雷斯·维埃拉 多方对话中的动态角色授权。 (英语) 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公司
马尔科·蒙塔利;安德烈·里夫金 使用以数据为中心的动态系统对具有名称的Petri网进行模型检查。 (英语) Zbl 1345.68236号 正式Asp。计算。 28,第4期,615-641(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Montali}和\textit{A.Rivkin},正式Asp。计算。28,编号4,615-641(2016;兹bl 1345.68236) 全文: 内政部
艾维洛·多布里科夫;Michael Leuschel先生 使用部分降阶优化B的ProB模型检查器。 (英语) Zbl 1342.68208号 正式Asp。计算。 28,第2期,295-323(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Dobrikov}和\textit{M.Leuschel},正式Asp。计算。28,第2号,295--323(2016;Zbl 1342.68208) 全文: 内政部
阿拉斯代尔·阿姆斯特朗;维克多·戈麦斯。;乔治·斯特鲁斯 根据代数原理构建程序构造和验证工具。 (英语) Zbl 1342.68066号 正式Asp。计算。 28,第2期,265-293(2016).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}等人,正式Asp。计算。28,第2号,265--293(2016;Zbl 1342.68066) 全文: 内政部
维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 使用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) 全文: 内政部
JiříBarnat;彼得·鲍赫;尼古拉·贝内什;卢博什·布里姆;简·伯兰;托马斯·克拉托奇维拉 分析航空电子系统需求的健全性。 (英语) Zbl 1335.68131号 正式Asp。计算。 28,第1号,45-63(2016).MSC公司:60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,《形式语法》。计算。28,第1号,45-63(2016;Zbl 1335.68131) 全文: 内政部 arXiv公司
佛罗伦萨伊帕特;迪米特里斯·德拉尼迪斯 来自确定性流X机器规范的统一集成和组件测试方法。 (英语) Zbl 1335.68021号 正式Asp。计算。 28,第1号,1-20(2016).MSC公司:68米15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{D.Dranidis},正式Asp。计算。28,编号1,1--20(2016;Zbl 1335.68021) 全文: 内政部
博尔祖·博纳克达尔普尔;桑迪普·库尔卡尼 综合有界时间2相故障恢复。 (英语) Zbl 1328.68045号 正式Asp。计算。 27,第1期,1-31页(2015年).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}和\textit{S.Kulkarni},正式Asp。计算。27,编号1,1-31(2015年;兹bl 1328.68045) 全文: 内政部
凯文·拉诺;T·克拉克。;科拉杜兹·拉希米,S。 模型转换验证框架。 (英语) Zbl 1328.68128号 正式Asp。计算。 27,第1期,193-235(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lano}等人,《正式Asp》。计算。27,第1号,193--235(2015;Zbl 1328.68128) 全文: 内政部 链接
程淑;吉姆·伍德科克;迪帕克·D’Souza 在FreeRTOS的任务模型上使用形式推理。 (英语) Zbl 1328.68044号 正式Asp。计算。 27,第1期,167-192(2015).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cheng}等人,正式Asp。计算。27,第1号,167--192(2015;Zbl 1328.68044) 全文: 内政部
安东·塔拉修克;埃琳娜·特鲁比西纳;莱比尼斯·利纳斯 将随机推理集成到Event-B开发中。 (英语) Zbl 1328.68039号 正式Asp。计算。 27,第1期,53-77(2015).MSC公司:68M99型 60J20型 68米15 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarasyuk}等人,《正式Asp》。计算。27,No.1,53--77(2015;Zbl 1328.68039) 全文: 内政部
马,钱;段振华;张楠;王晓兵 用MSVL公理系统验证分布式系统。 (英语) Zbl 1328.68032号 正式Asp。计算。 27,第1期,103-131(2015).MSC公司:64岁以下 68N17号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}等人,正式Asp。计算。27,第1号,第103--131条(2015;Zbl 1328.68032) 全文: 内政部
奥马尔·巴塔内赫;马克·雷诺兹;法语,蒂姆 加速具有循环行为的时间自动机模型的最坏情况执行时间分析。 (英语) Zbl 1328.68108号 正式Asp。计算。 27,编号5-6,917-949(2015).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Al Bataineh}等人,正式Asp。计算。27,编号5--6917--949(2015;Zbl 1328.68108) 全文: 内政部