Generic Instantiation User Guide

From Event-B
Revision as of 13:57, 18 February 2013 by imported>Son
Jump to navigationJump to search

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 is on the User Guide.

The project is hosted on sourceforge at Project homepage