Generic Instantiation User Guide
From Event-B
The plug-in is developed by Hitachi Ltd. and ETH Zurich.
Introduction
The Generic Instantiation plug-in provides supports for instantiating an Event-B Models by providing concrete values for carrier sets and constants.
Installing and Updating
The plug-in is available through the following Eclipse update site. http://sourceforge.net/projects/gen-inst/updates
More information is on the User Guide.
The project is hosted on sourceforge at Project homepage