Search results

Create the page "Moving a page" on this wiki! See also the search results found.

• Rose (Structured) Editor
  ''This page is under development'' *There is a separate tab for each collection owned by the element. This provides an alt
  3 KB (507 words) - 07:02, 1 August 2011
• Camille Editor
  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
• MBT plugin
  ## 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 an
  9 KB (1,434 words) - 06:45, 6 April 2012
• Rodin Platform 3.2 Release Notes
  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
• Rodin Proving Perspective
  ...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
• The Proving Perspective (Rodin User Manual)
  ...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
• Mode/FT Views
  ...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
• Rodin Platform 2.0 Release Notes
  ::- 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 the
  15 KB (2,008 words) - 15:34, 10 January 2011