:facetid:toc:\“db/conf/zum/abz2023.bht\” 好 啊 :facetid:目录:db/conf/zum/abz2023.bht 科尔特拉奇·阿莱西奥在Lambdapi中重建用VeriT求解的TLAPS证明。ABZ公司375-3772023会议和研讨会文件关闭conf/zum/Alessio2310.1007/978-3-031-33163-3_29https://doi.org/10.1007/978-3-031-33163-3_29https://dblp.org/rec/conf/zum/Alessio23 网址:593383 亚尼斯·本纳比铁路系统正式验证和确认框架。ABZ公司371-3742023会议和研讨会文件关闭conf/zum/Benabbi2310.1007/978-3-031-33163-3_28https://doi.org/10.1007/978-3-031-33163-3_28https://dblp.org/rec/conf/zum/Benabbi23 网址:593384 安德烈亚·邦巴达西尔维娅·邦凡蒂安吉洛·加甘蒂尼正式MVC:UI开发中ASM规范集成的模式。ABZ公司340-3572023会议和研讨会文件关闭conf/zum/BombardaBG2310.1007/978-3-031-33163-3_25https://doi.org/10.1007/978-3-031-33163-3_25https://dblp.org/rec/conf/zum/BombardaBG23 网址:593385 西尔维娅·邦凡蒂蓖麻Elvinia Riccobene大卫·圣安德烈帕特里齐亚·斯坎杜拉通过组合I/O抽象状态机对MVM-Adapt系统进行建模。ABZ公司107-1152023会议和研讨会文件关闭conf/zum/BonfantiRSS2310.1007/978-3-031-33163-3_8https://doi.org/10.1007/978-3-031-33163-3_8https://dblp.org/rec/conf/zum/BonfantiRSS23 网址:593386 阿希姆·D·布鲁克伊迪尔·阿伊特·萨杜恩尼古拉斯·梅里奇伯克哈特·沃尔夫在正式软件工程中使用深层本体。ABZ公司15-322023会议和研讨会文件关闭conf/zum/BruckerAMW2310.1007/978-3-031-33163-3_2https://doi.org/10.1007/978-3-031-33163-3_2https://dblp.org/rec/conf/zum/BruckerAMW23 网址:593387 朱利安·布鲁内尔大卫·切穆尔阿尔西诺库尼亚努诺·马切多0001将记录添加到合金中。ABZ公司212-2192023会议和研讨会文件关闭conf/zum/布鲁内尔CCM2310.1007/978-3-031-33163-3_16https://doi.org/10.1007/978-3-031-33163-3_16https://dblp.org/rec/conf/zum/BrunelCCM23 网址:593388 朱利安·塞尔维尔弗雷德里克·热尔维斯(Frédéric Gervais)用理论插件介绍B中的归纳结构。ABZ公司43-582023会议和研讨会文件关闭conf/zum/Cerverelle公司2310.1007/978-3-031-33163-3_4https://doi.org/10.1007/978-3-031-33163-3_4https://dblp.org/rec/conf/zum/CerverelleG23网址 网址:593389 阿尔西诺库尼亚努诺·马切多0001Eunsuk Kang公司合金任务模型设计与分析。ABZ公司303-3202023会议和研讨会文件关闭conf/zum/CunhaMK2310.1007/978-3-031-33163-3_23https://doi.org/10.1007/978-3-031-33163-3_23https://dblp.org/rec/conf/zum/CunhaMK23 网址:593390 罗莎莉·迪弗恩为SMT安全编码rmTLA+证明义务。ABZ公司88-1062023会议和研讨会文件关闭conf/zum/Defourne2310.1007/978-3-031-33163-3_7https://doi.org/10.1007/978-3-031-33163-3_7https://dblp.org/rec/conf/zum/Defourne23 网址:593391 Elie Fares公司让-保罗·博德韦克斯马蒙·菲拉利通过领域特定语言生成基于模式的细化。ABZ公司35-422023会议和研讨会文件关闭conf/zum/票价BF2310.1007/978-3-031-33163-3_3https://doi.org/10.1007/978-3-031-33163-3_3https://dblp.org/rec/conf/zum/FaresBF23(网址:https://dblp.org/rec/conf/zum/FaresBF23) 网址:593392 玛丽·法雷尔罗斯玛丽·莫纳汉詹姆斯·F·鲍尔Event-B机构的建筑规范:总结。ABZ公司245-2532023会议和研讨会文件关闭conf/zum/FarrellMP2310.1007/978-3-031-33163-3_19https://doi.org/10.1007/978-3-031-33163-3_19https://dblp.org/rec/conf/zum/FarrellMP23 网址:593393 阿西赫·萨利希·法塔巴迪科林·F·斯努克达娜·戴姆泰国人Son Hoang法哈德·阿洛塔比迈克尔·巴特勒使用分层STPA和Event-B设计关键系统。ABZ公司220-2372023会议和研讨会文件关闭conf/zum/FatabadiSDHAB2310.1007/978-3-031-33163-3_17https://doi.org/10.1007/978-3-031-33163-3_17https://dblp.org/rec/conf/zum/FatabadiSDHAB23 网址:593394 弗拉维奥·费拉罗蒂克劳斯·迪特尔·斯奎反射算法的行为理论。ABZ公司238-2442023会议和研讨会文件关闭conf/zum/FerrarottiS2310.1007/978-3-031-33163-3_18https://doi.org/10.1007/978-3-031-33163-3_18https://dblp.org/rec/conf/zum/FerrarottiS23 网址:593395 大卫·盖尔塞巴斯蒂安股票0002法比安·武迈克尔·勒谢尔阿蒂夫·马斯科尔通过验证义务对安全关键交互系统进行建模和分析。ABZ公司284-3022023会议和研讨会文件关闭conf/zum/GelessusSVLM2310.1007/978-3-031-33163-3_22https://doi.org/10.1007/978-3-031-33163-3_22https://dblp.org/rec/conf/zum/GelessusSVLM23 网址:593396 努诺·马切多0001朱利安·布鲁内尔大卫·切穆尔阿尔西诺库尼亚用Pardinus验证时态关系模型。ABZ公司254-2612023会议和研讨会文件关闭conf/zum/马其顿BCC2310.1007/978-3-031-33163-3_20https://doi.org/10.1007/978-3-031-33163-3_20https://dblp.org/rec/conf/zum/MacedoBCC23 网址:593397 阿梅尔·马玛迈克尔·勒谢尔使用Event-B对到达管理器进行建模和验证。ABZ公司321-3392023会议和研讨会文件关闭conf/zum/MammarL23型10.1007/978-3-031-33163-3_24https://doi.org/10.1007/978-3-031-33163-3_24https://dblp.org/rec/conf/zum/MammarL23网站 网址:593398 迭戈·德·阿泽夫多·奥利维拉马克·弗拉皮耶用TASTD建模汽车软件系统。ABZ公司124-1412023会议和研讨会文件关闭conf/zum/OliveiraF23公司10.1007/978-3-031-33163-3_10https://doi.org/10.1007/978-3-031-33163-3_10https://dblp.org/rec/conf/zum/OliveiraF23 网址:593399 迭戈·德·阿泽夫多·奥利维拉马克·弗拉皮耶TASTD:ASTD的实时扩展。ABZ公司142-1592023会议和研讨会文件关闭conf/zum/OliveiraF23a10.1007/978-3-031-33163-3_11https://doi.org/10.1007/978-3-031-33163-3_11https://dblp.org/rec/conf/zum/OliveiraF23a 网址:593400 菲利普·A·帕兰克何塞·克里萨克·坎波斯AMAN案例研究。ABZ公司265-2832023会议和研讨会文件关闭conf/zum/PalanqueC2310.1007/978-3-031-33163-3_21https://doi.org/10.1007/978-3-031-33163-3_21https://dblp.org/rec/conf/zum/PalanqueC23网址 网址:593401 安德烈·普拉泽混合动力系统逻辑的改进。ABZ公司3-142023会议和研讨会文件关闭conf/zum/Platzer2310.1007/978-3-031-33163-3_1https://doi.org/10.1007/978-3-031-33163-3_1https://dblp.org/rec/conf/zum/Platzer23 网址:593402 彼得·里维尔内拉杰·库马尔·辛格0001雅敏阿美纪尧姆·杜邦基于EB4EB元理论的独立事件B模型分析。ABZ公司193-2112023会议和研讨会文件关闭conf/zum/RiviereSAD2310.1007/978-3-031-33163-3_15https://doi.org/10.1007/978-3-031-33163-3_15https://dblp.org/rec/conf/zum/RiviereSAD23 网址:593403 克里斯汀·鲁滕科尔克使用ProB将模型检查扩展到浮点数和混合系统。ABZ公司366-3702023会议和研讨会文件关闭conf/zum/Rutenkolk2310.1007/978-3-031-33163-3_27https://doi.org/10.1007/978-3-031-33163-3_27https://dblp.org/rec/conf/zum/Rutenkolk23 网址:593404 格哈德·谢尔霍恩斯特凡·博登米勒沃尔夫冈·雷夫改进基于状态的并发系统的线程局部、分步局部证明义务。ABZ公司70-872023会议和研讨会文件关闭conf/zum/SchellhornBR2310.1007/978-3-031-33163-3_6https://doi.org/10.1007/978-3-031-33163-3_6https://dblp.org/rec/conf/zum/SchellhornBR23 网址:593405 奥西恩·谢里丹探索安全关键系统的形式化验证方法。ABZ公司361-3652023会议和研讨会文件关闭conf/zum/Sheridan2310.1007/978-3-031-33163-3_26https://doi.org/10.1007/978-3-031-33163-3_26https://dblp.org/rec/conf/zum/Sheridan23网站 网址:593406 塞巴斯蒂安股票0002法比安·武大卫·盖尔迈克尔·勒谢尔阿蒂夫·马斯科尔亚历山大·埃杰德通过抽象和精炼进行验证。ABZ公司160-1782023会议和研讨会文件关闭conf/zum/StockVGLME2310.1007/978-3-031-33163-3_12https://doi.org/10.1007/978-3-031-33163-3_12https://dblp.org/rec/conf/zum/StockVGLME23 网址:593407 林杰通柯旭0002胡佳润弗拉维奥·费拉罗蒂克劳斯·迪特尔·斯奎探索安全方面的反思性ASM。ABZ公司185-1922023会议和研讨会文件关闭conf/zum/通XHFS2310.1007/978-3-031-33163-3_14https://doi.org/10.1007/978-3-031-33163-3_14https://dblp.org/rec/conf/zum/TongXHFS23 网址:593408 法比安·武迈克尔·勒谢尔通过交互仿真验证形式模型。ABZ公司59-692023会议和研讨会文件关闭conf/zum/VuL2310.1007/978-3-031-33163-3_5https://doi.org/10.1007/978-3-031-33163-3_5https://dblp.org/rec/conf/zum/VuL23 网址:593409 托马斯·威尔森斯图尔特·马修斯合金模型测试生成和动画的坩埚工具。ABZ公司116-1232023会议和研讨会文件关闭conf/zum/WilsonM2310.1007/978-3-031-33163-3_9https://doi.org/10.1007/978-3-031-33163-3_9https://dblp.org/rec/conf/zum/WilsonM23网址 网址:593410 郝武0017郑成使用旋风验证Event-B混合模型。ABZ公司179-1842023会议和研讨会文件关闭conf/zum/WuC2310.1007/978-3-031-33163-3_13https://doi.org/10.1007/978-3-031-33163-3_13https://dblp.org/rec/conf/zum/WuC23 网址:593411 Uwe Glässer公司何塞·克里萨克·坎波斯多米尼克·梅里菲利普·A·帕兰克严格的基于国家的方法——第九届国际会议,ABZ 2023,法国南希,2023年5月30日至6月2日,会议记录ABZ公司计算机科学课堂讲稿14010施普林格2023编辑conf/zum/202310.1007/978-3-031-33163-3https://doi.org/10.1007/978-3-031-33163-3https://dblp.org/rec/conf/zum/2023 网址:597313