Event-B Generic Instantiation


A Rodin Platform Plug-in for Generic Instantiation

Add a Review
2 Downloads (This Week)
Last Update:
Download com.hitachi.geninst.core_1.1.0.2014…jar
Browse All Files


Generic Instantiation 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 instantiation.
- 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.

Event-B Generic Instantiation Web Site




Eclipse Public License

Update Notifications

Write a Review

User Reviews

Be the first to post a review of Event-B Generic Instantiation!

Additional Project Details


Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.