Rodin Prototype Plug-ins and Development of the SecBot Case Study

Dataset supporting "Refinement of Statecharts with Run-to-Completion Semantics" Presented at FTSCS 2018 - The 6th International Workshop on Formal Techniques for Safety-Critical Systems, 16th November 2018, Gold Coast, Australia支撑《带运行至完成语义的状态图（Statecharts）精化》一文的数据集。该数据集已在2018年第6届安全关键系统形式化技术国际研讨会（FTSCS 2018）上展示，本次研讨会于2018年11月16日在澳大利亚黄金海岸举办。