第五 F-IDE@FM 2019: 葡萄牙波尔图
罗斯玛丽·莫纳汉 , 维吉尔·普雷沃斯托 , 何塞·普伦萨 :
正式集成开发环境第五次研讨会论文集, F-IDE@FM 2019年,葡萄牙波尔图,2019年10月7日。 EPTCS系统 310, 2019 简·贝塞 , 莫里茨·罗伊德 , 安娜·瓦西列娃 :
经验报告:走向用类型移动事物——帮助物流领域专家通过基于类型的合成控制网络物理系统。 1-6 丹尼斯·库西诺 , 大卫·门特雷 , 井上裕久 :
梯形图编程的自动演绎验证。 7-12 Tuong神父 , 伯克哈特·沃尔夫 :
将C11代码支持深度集成到Isabelle/PIDE中。 13-28 彼得·D·摩斯斯 :
基于组件的形式语言工作台。 29-34 保罗·马斯奇 , 塞萨尔·穆尼奥斯 :
原型验证系统的集成开发环境。 35-49 马库斯·亚历山大·库佩 , 莱斯利·兰伯特 , 丹尼尔·里基茨 :
TLA+工具箱。 50-62 朱利安·布鲁内尔 , 大卫·切穆尔 , 阿尔西诺库尼亚 , 努诺·马塞多 :
任意时间逻辑约束下的仿真。 63-69 爱德华·坎伯扬 , 乔纳斯·斯特隆伯格 :
形式化系统模型验证的工具支持:交互式可视化和需求跟踪。 70-85
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)