Search results

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

• Main Page
  <div id="accueil_title">{{Main Page/title}}</div> <div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div>
  2 KB (194 words) - 09:48, 19 May 2020
• Mathieu/Main Page
  ...just a private place for some tests towards a hopefully fullfeatured Main Page'' [[Rodin Platform|Rodin Platform User Support]]
  295 bytes (39 words) - 22:09, 4 July 2008
• All Rewrite Rules
  ...Any modification to this page shall be announced on the [[#Mailing_lists |User]] mailing list!</font> This page groups together all the rewrite rules implemented (or planned for implement
  739 bytes (98 words) - 13:29, 26 April 2013
• Event-B Modelling Language
  This page gives a brief summary of documents describing Event-B's modeling notation. [[Category:User documentation]]
  410 bytes (54 words) - 08:45, 27 October 2011
• Theory Plug-in Developer Documentation
  ...cumentation for users of the plug-in is available in [[Theory Plug-in|this page]]. ...and list the release in [[Template:Dev News]] (it is included in the front page)
  3 KB (394 words) - 07:15, 15 July 2021
• ADVANCE D3.2 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 (642 words) - 08:33, 29 June 2012
• Rodin Workshop 2024
  ==11th Rodin User and Developer Workshop== The 11th Rodin User and Developer Workshop, 25th June, 2024, Bergamo, Italy
  3 KB (368 words) - 12:49, 15 April 2024
• 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
• Rodin Tutorials
  This page gives a brief summary of tutorial documents for Rodin and other Plug-ins. [[Category:User documentation]]
  617 bytes (79 words) - 08:47, 27 October 2011
• AnimB start
  The user must give a value for each constants. A constant value is set in the contex * a page for each model
  4 KB (679 words) - 14:59, 16 September 2009
• Rodin Platform Releases
  ...n is broadcasted on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists. ...g-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
  4 KB (532 words) - 06:51, 4 April 2023
• ADVANCE D3.2 Improvement of automated proof
  ...nd parameterized tactics to discharge some specific proof obligations. The user can furthermore share and backup these defined tactics using the provided i ...n the tactic profile editor as well as an import/export feature. Indeed, a user that elaborates a good profile for a certain proof pattern is now able to s
  4 KB (596 words) - 13:21, 18 July 2012
• D23 General Platform Maintenance
  Beyond that, any user registered on SourceForge may record any encountered bug on the Rodin platf ...Platform_Maintenance#Available_Documentation Rodin Platform Releases] wiki page). In particular:
  7 KB (963 words) - 11:30, 27 January 2010
• Atomicity Decomposition
  ...composition_Plug-in_User_Guide Atomicity Decomposition Plug-in User Guide] page for tool support details.
  1 KB (166 words) - 15:46, 7 August 2012
• Rule-based Prover Plug-in
  This page provides extensive documentation for the rule-based prover plug-in. == User Documentation ==
  2 KB (338 words) - 17:11, 9 July 2010
• D32 Mathematical Extensions
  ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (prover extensions). ...ies are deployed to the current workspace (i.e., Workspace Scope), and the user can use any defined extensions in any project within the workspace.
  7 KB (1,095 words) - 14:40, 21 December 2010
• Event-B Mathematical Language
  This page gives a brief summary of documents describing Event-B's logic aka mathemati [[Category:User documentation]]
  1 KB (203 words) - 11:28, 23 January 2014
• Plug-in Wishlist
  This page has been created to give a wish list of tool plug-ins that cannot be resour ...llowing list has been established during the [[Rodin_Workshop_2009 | Rodin User and Developer Workshop 2009]] (July 15-17 2009):
  983 bytes (138 words) - 12:16, 3 July 2017
• Scenarios for Merging Proofs
  This page is a first tentative to describe the scenario that a merge tool will have t ...all ''L'' the ''local'' database/user/branch, ''O'' the ''other'' database/user/branch and ''A'' the database which reflects the common state from which ''
  6 KB (1,046 words) - 10:34, 27 October 2011
• TextEditor EBNF
  This page describes the text syntax for Event-B models in the TextEditor. It shows it See the [[Text_Editor]] page for details of the editor and the usage of the text syntax.
  4 KB (559 words) - 12:43, 12 August 2009

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