Generic Instantiation User Guide: Difference between revisions

Revision as of 13:58, 18 February 2013

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.

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 the project homepage

Revision as of 13:57, 18 February 2013 view source imported>Son No edit summary ← Older edit		Revision as of 13:58, 18 February 2013 view source imported>Son →‎Installing and Updating Newer edit →
Line 12:		Line 12:
	More information is on the [http://sourceforge.net/projects/gen-inst/files/examples/GI_Plugin_UserGuide_1_0_2.pdf User Guide].		More information is on the [http://sourceforge.net/projects/gen-inst/files/examples/GI_Plugin_UserGuide_1_0_2.pdf User Guide].

	The project is hosted on sourceforge at [https://sourceforge.net/p/gen-inst/ ~~Project~~ homepage]		The project is hosted on sourceforge at the [https://sourceforge.net/p/gen-inst/ project homepage]