Generic Instantiation User Guide

From Event-B
Revision as of 14:59, 18 February 2013 by Son (talk | contribs) (Installing and Updating)
Jump to: navigation, search

The plug-in is developed by Hitachi Ltd. and ETH Zurich.


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:

More information about the plug-in can be found in the User Guide.

The project is hosted on sourceforge at the project homepage