Search results

Create the page "The Proof Obligation Explorer (Rodin User Manual)" on this wiki! See also the search results found.

• Rodin Proving Perspective
  ...e Event-B Explorer]]|Next= [[The_Mathematical_Language_(Rodin_User_Manual)|The Mathematical Language]]|Up= [[index_(Rodin_User_Manual)|User_Manual_index]] ...t visible as a tab on the top right-hand corner of the main interface, the user can switch to it via "Window -> Open Perspective".
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ...e Event-B Explorer]]|Next= [[The_Mathematical_Language_(Rodin_User_Manual)|The Mathematical Language]]|Up= [[index_(Rodin_User_Manual)|User_Manual_index]] ...t visible as a tab on the top right-hand corner of the main interface, the user can switch to it via "Window -> Open Perspective".
  27 KB (4,348 words) - 18:45, 28 September 2011
• Rodin Platform 2.0 Release Notes
  == What's New in Rodin 2.0? == :'''Improved Statistic View'''. The statistic view was simplified and unified, to make it clearer and easily re
  15 KB (2,008 words) - 15:34, 10 January 2011
• Mode/FT Views
  The ''Mode/FT Views plugin'' is a modelling environment for constructing modal ...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