Difference between revisions of "Generic Instantiation User Guide"

From Event-B
Jump to: navigation, search
m (New page: User:Son at '''ETH Zurich''' is in charge of the plug-in. {{TOCright}} == Introduction == Event-B Qualitative Probability plug-in provides supports for reasoning about termination wit...)
 
m
Line 3: Line 3:
  
 
== Introduction ==
 
== Introduction ==
Event-B Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination).
+
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 ==
 
== Installing and Updating ==
The plug-in is available through the main Rodin Update Site under '''Modelling Extension''' category.
+
The plug-in is available through the main Rodin Update Site under '''Composition and Decomposition''' category.
  
 
== News ==
 
== News ==
* 23.11.2011: Version 0.2.1 released for Rodin 2.3.*
+
* 11.05.2012: Version 0.2.2 released for Rodin 2.5.*
* 10.04.2012: Version 0.2.1 is compatible with Rodin 2.4.*
 
  
 
== Technical References ==
 
== Technical References ==

Revision as of 16:18, 11 May 2012

User:Son at ETH Zurich is in charge of the plug-in.

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 main Rodin Update Site under Composition and Decomposition category.

News

  • 11.05.2012: Version 0.2.2 released for Rodin 2.5.*

Technical References

Usage

Additional features to be investigated/implemented