Home

1. Description

Generic Instantiation tool is developed by Yokohama Research Laboratory, Hitachi Ltd. (YRL), ETH Zurich (ETHZ) and Hitachi India Pvt. Ltd (HIL) for Event-B as a Plug-in for the RODIN platform (http://wiki.event-b.org)

Main features of the tool are as follows:
- Generic Instantiation (GI) files for storing information about generic instantiation.
- Wizard for creating GI files.
- Editor for GI files.
- Static checker for GI files.
- Proof obligations generation for GI files
- Pretty print GI files
- Performing generic instantiation by creating a new project based on a source project and generic instantiation files.

2. Links

• User Guide for the Generic Instantiation tool is available at:
  http://sourceforge.net/projects/gen-inst/files/Documentations/GI_Plugin_UserGuide_1_0_2.pdf
• Example for Generic Instantiation is available at:
  http://sourceforge.net/projects/gen-inst/files/Documentations/ChannelSet.zip
• URL link for the Rodon update site installation is:
  http://gen-inst.sourceforge.net/updates

Project Admins:

• Naoto Sato
• Son Hoang
• Hitachi and ETHZ
• Andreas Fürst