Difference between pages "AnimB Javascript Tutorial" and "Event-B Qualitative Probability User Guide"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Christophe
(New page: This page discribes how to build a graphical animation for a event-b model. These animations are built following the pattern MVC (Model/View/Controller). The view part is done by a browse...)
 
imported>Son
m
 
Line 1: Line 1:
This page discribes how to build a graphical animation for a event-b model.
+
[[User:Son]] at '''ETH Zurich''' is in charge of the plug-in.
These animations are built following the pattern MVC (Model/View/Controller).
+
{{TOCright}}
  
The view part is done by a browser and a HTML page.
+
== Introduction ==
The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model.
+
Event-B Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination).
The controller is ensured by a piece of javascript code running in the browser.
+
 
 +
 
 +
== Installing and Updating ==
 +
The plug-in is available through the main Rodin Update Site under '''Modelling Extension''' category.
 +
 
 +
== News ==
 +
* 23.11.2011: Version 0.2.1 released for Rodin 2.3.*
 +
 
 +
== Technical References ==
 +
 
 +
== Usage ==

Revision as of 11:14, 23 November 2011

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

Introduction

Event-B Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination).


Installing and Updating

The plug-in is available through the main Rodin Update Site under Modelling Extension category.

News

  • 23.11.2011: Version 0.2.1 released for Rodin 2.3.*

Technical References

Usage