Generic Instantiation User Guide: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son |
imported>Son m →Installing and Updating: Fix update site link |
||
| Line 7: | Line 7: | ||
== Installing and Updating == | == Installing and Updating == | ||
The plug-in is available through the following Eclipse update site: '''http://sourceforge.net | 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 [http://sourceforge.net/projects/gen-inst/files/examples/GI_Plugin_UserGuide_1_0_2.pdf User Guide]. | More information about the plug-in can be found in 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 the [https://sourceforge.net/p/gen-inst/ project homepage] | The project is hosted on sourceforge at the [https://sourceforge.net/p/gen-inst/ project homepage] | ||
Revision as of 11:18, 28 February 2013
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://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
