Difference between revisions of "Generic Instantiation User Guide"

From Event-B
Jump to: navigation, search
(Installing and Updating)
m (Installing and Updating)
Line 9: Line 9:
 
The plug-in is available through the following Eclipse update site: '''http://sourceforge.net/projects/gen-inst/updates'''
 
The plug-in is available through the following Eclipse update site: '''http://sourceforge.net/projects/gen-inst/updates'''
  
More information is on 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 14:59, 18 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://sourceforge.net/projects/gen-inst/updates

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

The project is hosted on sourceforge at the project homepage