Search results
From Event-B
Jump to navigationJump to searchCreate the page "Moving a page" on this wiki! See also the search results found.
- ''This page is under development'' *There is a separate tab for each collection owned by the element. This provides an alt3 KB (507 words) - 07:02, 1 August 2011
- A preliminary version of Camille for Rodin 3.1 is available at the nightly up Although we will try to announce these updates on this site too, it is a lot easier if you setup Rodin to let you know when an update is available.6 KB (945 words) - 12:22, 27 January 2015
- ## Enter a name e.g. ''MBT for Event-B Plugin''. The MBT for Event-B plugin iteratively constructs a subset of the ''state space'' of an Event-B model (which is essentially an9 KB (1,434 words) - 06:45, 6 April 2012
- Rodin 3.2 is mainly a corrective version of the Rodin platform which solves stability and usabili Here is a short overview of the newly implemented or fixed features.9 KB (1,317 words) - 11:09, 6 July 2017
- ...ving Perspective and its use. If the Proving Perspective is not visible as a tab on the top right-hand corner of the main interface, the user can switch ...cussion that follows we look at each of these views individually. Below is a screenshot of the Proving Perspective:27 KB (4,348 words) - 08:56, 26 September 2011
- ...ving Perspective and its use. If the Proving Perspective is not visible as a tab on the top right-hand corner of the main interface, the user can switch ...cussion that follows we look at each of these views individually. Below is a screenshot of the Proving Perspective:27 KB (4,348 words) - 18:45, 28 September 2011
- ...odels. Fault tolerance part adds additional structural checks and reserves a place to trace FT requirements. ...nection with the model. The tool statically checks the views and generates a number of proof obligations.21 KB (3,472 words) - 20:32, 26 June 2015
- ::- It is now possible to display statistics for a project without expanding it first. ...delayed as concurrency occurs. The "Save" action will then be scheduled as a further task to be performed, and the user will have to wait or cancel the15 KB (2,008 words) - 15:34, 10 January 2011