Dear Rodin users,
We are pleased to announce the release of a plug-in for generic
instantiation. The tool is developed by HITACHI and ETHZ for Event-B
as a Plug-in for RODIN platform.
Main features of the tool are as follows:
- Generic Instantiation Files for storing information about generic
- Wizard for creating generic instantiation files.
- Editor for generic instantiation files.
- Static checker for generic instantiation files.
- Performing generic instantiation by creating a new project based on
a source project and generic instantiation files.
General information about the plug-in can be found from the Event-B
Sent with [inky: <http://inky.com?kme=signature>]