2012年第17届FMICS:法国巴黎
玛丽埃尔·斯托琳加 , 拉尔夫·平格 :
工业关键系统的正式方法——第17届国际研讨会,2012年FMICS,法国巴黎,2012年8月27日至28日。 诉讼程序。 计算机科学课堂讲稿 7437, 施普林格 2012 ,十亿 978-3-642-32468-0 努哈·阿比德 , 西尔瓦诺·达尔·齐利奥 , 迪迪埃·勒·博特兰 :
实时规范模式和工具。 1-15 埃尔维拉·阿尔伯特 , Bjalte M.Östvold公司 , 何塞·米盖尔·罗哈斯 :
从JMS应用程序中自动提取抽象行为模型。 16-31 尼古拉斯·阿亚切 , 罗伯特·阿马迪奥 , 亚恩·雷吉斯·贾纳斯 :
C程序中成本注释的证明和推理。 32-46 克里斯特尔·拜尔 , 马库斯·达姆 , 本杰明·恩格尔 , 赫尔曼·哈蒂格 , 约阿希姆·克莱因 , 萨沙·克吕佩尔霍尔茨 , 斯特芬·梅克尔 , 亨德里克·图斯 , 马库斯·沃尔普 :
等待锁:通常需要多长时间? 47-62 维克托·班杜尔 , 沃尔夫拉姆·卡尔 , 阿兰·瓦辛格 :
来自定时自动机任务规范的微控制器组件合成。 63-77 吉里·巴纳特 , 简·贝兰 , 卢博斯·布里姆 , 托马斯·克拉托奇维拉 , 彼得·罗凯 :
支持航空电子仿真链接设计自动化形式验证的工具链。 78-92 埃德·巴雷特 , 安迪·金 :
以最小的努力进行二进制的范围分析。 93-107 洛伊克·科伦森 , 朱利安·西莫尔斯 :
C程序验证的组合分析。 108-130 乔德·克兰恩 :
模型检查FlexRay启动阶段。 131-145 雷纳尔·德罗斯特 , 克里斯托夫·Läsche , 西里·索比奇 , 埃卡德·博德 , 阿克塞尔·哈恩 :
基于模型的风险评估支持安全海上作业HSE计划的制定。 146-161 卢卡·费鲁奇 , 迪诺·曼德里奥利 , 安吉洛·莫泽蒂(Angelo Morzenti) , 马特奥·罗西 :
利用度量时态逻辑和非标准分析对柔性制造系统进行模块化自动验证。 162-176 弗拉德·波帕 , 沃尔夫冈·施维策 :
针对分布式反应式嵌入式系统中的通信延迟优化软件的鲁棒性。 177-191 康拉德·西克 , Pawel T.Wojciechowski先生 :
Java对象调用上限静态分析工具的形式化设计。 192-206 吉里·斯拉比 , 简·斯特雷切克 , 马雷克·特里克 :
检查状态机描述的属性:关于仪器、切片和符号执行的协同作用。 207-221
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)