Generic Instantiation User Guide
From Event-B
Revision as of 11:18, 28 February 2013 by imported>Son (→Installing and Updating: Fix update site link)
The plug-in is developed by Hitachi Ltd. and ETH Zurich.
Contents |
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://gen-inst.sourceforge.net/updates
More information about the plug-in can be found in the User Guide.
The project is hosted on sourceforge at the project homepage