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
• Camille Editor
  ...ularly or watching this page for changes. We will announce updates on this page too.'' To get a first impression also visit the [[TextEditor Screenshots|screenshot page]].
  6 KB (945 words) - 12:22, 27 January 2015
• Rose (Structured) Editor
  ''This page is under development'' ...of the element. This contains details which are otherwise hidden from the user.
  3 KB (507 words) - 07:02, 1 August 2011
• Building Rodin Headless
  This page documents the procedure followed for building the binary packages of the Ro # the full platform version used for provisioning, and which is the user-visible version which is displayed in ''About Rodin Platform''. This versio
  6 KB (928 words) - 15:50, 11 September 2020
• Proof Skeleton Design
  The Proof Skeleton View gives the user the ability to quickly browse the skeleton of a proof, without having to pr DetailsPageProvider : returns the sequent details page when a proof tree node is selected
  2 KB (254 words) - 12:54, 12 August 2009
• Layout improvements in the event-B editor
  The intention of this page is to collect and discuss possible improvements of the layout in the event- In a user feedback report posted on the Deploy WP9 mailing list, Michael Leuschel rep
  1 KB (215 words) - 12:08, 12 August 2009
• Event-B XText Front-end User Guide
  The complete Event-B XText Front-end User Guide is available as pdf [https://sourceforge.net/projects/rodin-b-sharp/f ...of this editor, see [[Event-B_XText_Front-end|the Event-B XText Front-end page]].<br>
  2 KB (231 words) - 23:27, 21 July 2017
• Past Developments
  This page sum up the developments recently done around or for the [[Rodin Platform]], ...a model can be tagged as generated by a tool, in order to prevent the end-user from directly editing them (and their descendants).
  6 KB (915 words) - 16:57, 27 February 2014
• ADVANCE Deliverable D3.3
  The purpose of this page is to give a common structure and guidelines to collaboratively build the A ...g second period of the project (Sept 2012-Sept 2013). The contents of each page should not go deeply into technical details, but should rather look like an
  6 KB (830 words) - 13:21, 7 October 2013
• CamilleX User Guide
  The CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-shar ...ore details about the principles on CamilleX, see the [[CamilleX|CamilleX page]].<br>
  2 KB (281 words) - 12:31, 9 March 2023
• Pattern
  [[User:afuerst]] at '''ETH Zurich''' is in charge of the [[Pattern]] plug-in. As there are usually multiple guards and action in an event, the user has (at the current state of the tool) to declare which guards and actions
  17 KB (2,670 words) - 15:07, 24 January 2012
• Constrained Dynamic Lexer
  This page describes the requirements for a '''parameterizable lexical analyser''' (i. mathematical language syntax can be extended by the final user.
  3 KB (440 words) - 09:10, 1 March 2010
• Proof Obligation Commands
  In this page are presented various proof obligations commands that can be run from the E ...discharged using the auto prover, else there is no mark, meaning that the user had to edit the proof by hand (even partially).
  3 KB (457 words) - 10:43, 18 March 2010
• User Documentation Overhaul
  '''Minimize the access to an expert a user of Event-B/Rodin needs to be productive.''' We maintain a separate page [[Documentation Overhaul DoW]] that lists the Description of Work, Work Pac
  5 KB (720 words) - 11:28, 15 September 2011
• AnimB limitations
  Below we list some guidelines of how to prevent such problems. This page will be continuously updated. [[Category:User documentation]]
  2 KB (287 words) - 08:56, 27 September 2010
• Rodin Workshop 2023
  ==10th Rodin User and Developer Workshop== The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France
  3 KB (375 words) - 15:36, 26 May 2023
• Theory Plug-in
  ...and the proving infrastructure in a familiar fashion to Rodin users. This page provides useful information about the plug-in and its capabilities. ...olymorphic theorems. The [http://wiki.event-b.org/images/Theory_Plugin.pdf user manual] provides a guide to developing and using theories.
  7 KB (958 words) - 14:53, 14 June 2021
• Proof Simplification
  ...of proof trees, one can have a look at the [[Proof_Manager|Proof Manager]] page. But before the user saves its proof, he or she is modifying it, so the proof is unstable and un
  3 KB (496 words) - 12:58, 12 August 2009
• Rodin Keyboard User Guide
  This short help page provides necessary information on the Rodin Keyboard plug-in and also on ho ...the Unicode characters for the mathematical language. From the Preferences page, you can choose the font, the style and the size for the text area.
  14 KB (1,930 words) - 12:58, 21 July 2010
• Atomicity Decomposition Plug-in User Guide
  ...iki.event-b.org/index.php/Atomicity_Decomposition Atomicity Decomposition] page for technical details. ...iki.event-b.org/index.php/Atomicity_Decomposition Atomicity Decomposition] page). This is done by right-clicking on the machine and launch ''Atomicity Deco
  6 KB (912 words) - 15:13, 21 August 2012
• Current Developments
  This page sum up the known developments that are being done around or for the [[Rodin The efforts in [[Düsseldorf]] ([[User:Fabian|Fabian]]) and [[Newcastle]] ([[User:Alexei|Alexei]]) have been joined to create a single text editor which will
  12 KB (1,869 words) - 16:35, 18 March 2014
• Event-B Qualitative Probability User Guide
  [[User:Son]] is in charge of the plug-in. ...e Probability, see the [[Qualitative Probability | Qualitative Probability page]].
  6 KB (749 words) - 17:54, 21 March 2018
• Generic Instantiation Plug-in User Guide
  ...://wiki.event-b.org/index.php/Generic_Instantiation Generic Instantiation] page for technical details. ## Click ''Next'', after some time, the ''Install Details'' page appears
  5 KB (720 words) - 15:20, 4 July 2013
• Proof Contextual Information
  ...ared, prover behaviours were only determined by a sequent and optionally a user input. Several features of the platform now require extra information: Similarly, when the user profile metatactic knows which project it is applied to, it can call the pr
  4 KB (600 words) - 14:09, 15 December 2010
• Records Extension
  ...uld be read in conjunction with the [[Structured_Types|Structured Types]] page which gives a more theoretical description of the origin of the Records ext ...aining record elements. Hence the translated Event-B is not visible to the user.
  8 KB (1,347 words) - 13:07, 21 July 2010
• Rodin Workshop 2010
  = Rodin User and Developer Workshop, University of Duesseldorf, 20-22 September 2010 = :Extending the pretty print page
  5 KB (716 words) - 09:28, 22 November 2010
• ADVANCE D3.2 Model Checking
  Animation allows the user to validate if the model corresponds to the user's intentions. ...rnal functions entry in ProB user manual</ref> have been added to the ProB user manual.
  11 KB (1,711 words) - 09:47, 26 June 2012
• Rodin Proving Perspective
  ...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". ...at is not discharged yet by the prover. Instead, it has been "seen" by the user who decided to postpone the proof. Marking nodes as "reviewed" is very conv
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ...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". ...at is not discharged yet by the prover. Instead, it has been "seen" by the user who decided to postpone the proof. Marking nodes as "reviewed" is very conv
  27 KB (4,348 words) - 18:45, 28 September 2011
• Modularisation Plug-in Tutorial
  Go to the [[Modularisation Plug-in|plug-in description page]]. ...just the pressure in the sluice area and control the door locks to allow a user to get safely inside to outside. Such system can be deployed, for example,
  8 KB (1,166 words) - 20:58, 10 November 2009
• Rodin Platform 2.2.1 Release Notes
  * set options in the bottom of the page: User Release date : 2011/07/22.
  3 KB (398 words) - 15:31, 22 July 2011

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