Search results

Create the page "User Documentation" on this wiki! See also the search results found.

• Rodin Tutorials
  [[Category:User documentation]]
  617 bytes (79 words) - 08:47, 27 October 2011
• Generic Instantiation
  ...php/Generic_Instantiation_Plug-in_User_Guide Generic Instantiation Plug-in User Guide]. ...ent-b.org/index.php/Generic_Instantiation_User_Guide Generic Instantiation User Guide].
  2 KB (232 words) - 15:23, 4 July 2013
• ADVANCE D3.3 Language extension
  ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (proof extensions). The Theory plug-in provides, among other things, a user-friendly mechanism to extend the Event-B mathematical language as well as t
  4 KB (648 words) - 14:52, 7 October 2013
• Project Diagram
  ...e tool is very easy. To view the diagram of a particular Event-B project a user right-clicks on the project folder and from the context menu selects "Show ...nd for this reason manual moving of the elements and links is enabled to a user. Also, "Arrange All" button can be very helpful in situations when the layo
  2 KB (390 words) - 11:38, 16 November 2010
• ADVANCE D3.3 Model Composition and Decomposition
  == Available Documentation == Documentation for composition is available in:
  5 KB (739 words) - 10:48, 23 September 2013
• Event-B Language
  == Event-B Language Documentation == [[Category:User documentation]]
  3 KB (351 words) - 11:30, 23 January 2014
• Rodin Plug-ins
  == Rodin Plug-in Documentation == * [[Decomposition Plug-in User Guide|Decomposition Plug-in]] allows the decomposition of Event-B machines/
  5 KB (757 words) - 16:19, 13 February 2020
• Statemachine Diagram
  [[Category:User documentation]]
  791 bytes (125 words) - 11:45, 14 January 2010
• Current Proof Tree Node in UI
  ...force a refresh of these views. We would like that these views behave more user-friendly and always display the expected information. ...ronment view is open and displays the type environment of the sequent. The user launches the post-tactic which removes the forall from the goal. One would
  4 KB (683 words) - 18:33, 16 December 2011
• Disprover
  [[Category:User documentation]]
  1 KB (155 words) - 13:34, 2 May 2016
• ADVANCE D3.2 Model Composition and Decomposition
  *The user interface was improved: using the form-based editor, if the symbol correspo In the latest version released (v1.2.3), the user's inputs and request were taken into account. In particular in terms of bet
  6 KB (891 words) - 17:21, 11 December 2012
• ADVANCE D3.3 Model Checking
  ...del. Animation allows the user to validate if the model corresponds to the user's intentions. Model checking allows to check if the model contains errors a == Available Documentation ==
  6 KB (1,016 words) - 10:41, 23 September 2013
• Proof Skeleton View
  Furthermore, this view allows user to see together proof rules and corresponding sequents. [[Category:User documentation]]
  2 KB (299 words) - 12:50, 27 September 2011
• D23 Decomposition
  ...one single plug-in. These approaches are indeed complementary and the end-user may take advantage of the former or of the latter, depending on the model, Choices, either related to the plug-in core or to the plug-in graphical user interface, have been made with the following constraints in mind:
  6 KB (825 words) - 13:27, 27 January 2010
• Event-B Mathematical Language
  [[Category:User documentation]]
  1 KB (203 words) - 11:28, 23 January 2014
• TextEditor Screenshots
  [[Category:User documentation]]
  1 KB (174 words) - 12:43, 12 August 2009
• Class Diagram
  [[Category:User documentation]]
  1 KB (177 words) - 13:06, 4 January 2013
• ADVANCE Deliverable D3.3
  Extensions and enhancements to the method documentation and tutorials are also supplied. It also presents the === Available Documentation ===
  6 KB (830 words) - 13:21, 7 October 2013
• Extension Proof Rules
  [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]]
  2 KB (307 words) - 15:38, 29 November 2019
• Decomposition Release History
  User's inputs and request were taken into account. In particular in terms of bet [[Category:User documentation]]
  3 KB (343 words) - 10:21, 25 November 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)