Event-B Generic Instantiation:用于通用实例化的Rodin平台插件-开源

HITACHI和ETHZ为Event-B开发的通用实例化工具是RODIN平台的插件。 该工具的主要功能如下：-通用实例化文件，用于存储有关通用实例化的信息。 -用于创建通用实例化文件的向导。 -通用实例化文件的编辑器。 -通用实例化文件的静态检查器。 -通过基于源项目和通用实例化文件创建一个新项目来执行通用实例化。