Search results
From Event-B
Jump to navigationJump to searchCreate the page "Users" on this wiki! See also the search results found.
- ...developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop will provide an opportunity to share tool experiences and to g2 KB (303 words) - 14:32, 19 May 2020
- users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.2 KB (294 words) - 09:58, 16 October 2017
- users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop provides an opportunity to share tool2 KB (356 words) - 12:46, 24 May 2018
- users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.3 KB (368 words) - 12:49, 15 April 2024
- * Identify scenarios (users and tool developers through brainstorming) ...ently on an Event-B Project: In this scenario, it is expected that several users need concurrent write-access to the project. It is acceptable if individua4 KB (670 words) - 14:38, 29 January 2009
- ...developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop provided an opportunity to share tool experiences and to gain4 KB (530 words) - 15:34, 23 March 2012
- users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.3 KB (375 words) - 15:36, 26 May 2023
- ...nd to foster a broader community of Rodin users and developers. For Rodin users the workshop provided an opportunity to share tool experiences and to gain5 KB (766 words) - 09:59, 21 September 2011
- : - or directly enter the Unicode value of the symbol (for advanced users). ...he requirements expressed by industrial WP1 to WP4 partners or by advanced users during the lifecycle of the project.7 KB (963 words) - 11:30, 27 January 2010
- ...proofs for a set of undischarged POs. This request comes directly from end users<ref>https://sourceforge.net/tracker/?func=detail&aid=2949606&group_id=10885 ...tp://wiki.event-b.org/index.php/Refactoring_Framework</ref> plug-in allows users of the Rodin platform to rename modelling elements. With a unique operation9 KB (1,423 words) - 16:28, 14 November 2011
- Users who are already running Rodin 2.2 are encouraged to perform an upgrade, as : Mac users may have to use Local... then point to archive root directory, in case the3 KB (398 words) - 15:31, 22 July 2011
- ;User: This mailing list is for users of the Rodin Platform to discuss about usage of the Rodin Platform and to e2 KB (223 words) - 09:23, 30 May 2013
- ...the identification of a list of '''challenging issues faced by industrial users of formal methods'''.1 KB (150 words) - 13:31, 3 November 2009
- Users who are already running Rodin 2.1 are encouraged to perform an upgrade, as : Mac users may have to use Local... then point to archive root directory, in case the3 KB (395 words) - 13:15, 1 June 2011
- users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.4 KB (595 words) - 09:41, 29 June 2021
- is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.4 KB (521 words) - 13:15, 13 June 2013
- ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical6 KB (855 words) - 16:00, 12 December 2019
- ..."color:green"> available </span> || || 14th January 2022|| [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || Automatic prover using SMT solvers ...olor:green"> available </span>|| 2.5.x || 27th May 2015 || [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || generates a Latex documentation of the E9 KB (1,244 words) - 13:52, 1 April 2022
- users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.5 KB (664 words) - 18:29, 6 June 2016
- All this can be implemented in a tool, but it can be deceptive to users as the instantiated context can become quite different from the original co ...for implementation in tools and for explaining how it works to prospective users.4 KB (704 words) - 10:17, 5 December 2012
- ...ndbook, before this project ends, allowing us to incorporate feedback from users of the Eclipse Help System as well.1 KB (240 words) - 11:42, 30 June 2011
- ...of two new clauses: record declarations and record extensions. Both enable users to define their custom reusable types, that are treated underline by Rodin Besides, we wanted to set up a way to publish and share theories for Rodin users, in order to constitute a database of pre-built theories for everyone to us7 KB (1,095 words) - 14:40, 21 December 2010
- ..., e.g. text editors. However, in the context of the Rodin platform editor, users do not modify a text file but a database of modelling elements. However, th4 KB (599 words) - 15:56, 28 January 2009
- ...nd it is not conceivable to have end-user editing them directly. Instead, users have the Proving UI for editing them in a friendly manner.4 KB (692 words) - 15:06, 20 November 2013
- ...t-B language and the proving infrastructure in a familiar fashion to Rodin users. This page provides useful information about the plug-in and its capabiliti ...ere not intentionally devised. Examples of operators that can be useful to users include the sequence operator (which was present in classical B mathematica7 KB (958 words) - 14:53, 14 June 2021
- ...original aim of UML-B was to make formal modelling more accessible to new users. This aim remains valid and therefore the current non-integrated UML-B shou ...modelling but not with textual mathematical notations. Experienced Event-B users would also benefit from the visualisations provided by UML-B but they do no9 KB (1,382 words) - 11:05, 27 January 2011
- ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical13 KB (1,415 words) - 07:56, 28 May 2015
- ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical12 KB (1,324 words) - 13:37, 3 June 2013
- ...developers and the software industry. We believe that these would convince users and make formal methods more accessible.4 KB (656 words) - 13:06, 18 November 2010
- * Windows users '''must''' change the workspace text file encoding to '''UTF-8'''. This can2 KB (281 words) - 12:31, 9 March 2023
- that both industrial and academic users reported a lot of feedback on this ...the one hand by the Rodin platform (slow access), and on the other hand by users (project sharing).5 KB (789 words) - 11:41, 27 January 2010
- ...ther feedback from the users within the Project and encourage the external users to try out the plug-in and provide feedback and feature requests. There are4 KB (699 words) - 17:36, 3 December 2010
- ...es made by different parties, especially for big and complex models. Other users expressed a concern on safety aspect of collaborative development, thus poi5 KB (780 words) - 11:22, 21 December 2010
- ...some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/ which you will ne ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical13 KB (1,455 words) - 13:43, 28 November 2014
- ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical13 KB (1,452 words) - 09:38, 18 June 2015
- is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.8 KB (1,073 words) - 06:13, 24 June 2014
- ...guide is to provide useful information for beginners and for more advanced users, in particular through a ''Tips and Tricks'' section). ...following wiki pages have been respectively written for developers and end-users to document the Event-B model decomposition:6 KB (825 words) - 13:27, 27 January 2010
- ...3 ||<span style="color:green"> available</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical ...3 ||<span style="color:green"> available</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical8 KB (1,053 words) - 09:10, 4 January 2012
- ...n between modelling and proving looked good during paper design. However, users reported that they were constantly switching between the two views. This is The navigator contains a tree of all projects and their contents. The users can choose between two ways how the machines and contexts will be presented5 KB (842 words) - 18:35, 26 March 2010
- ...attempting to use this prover was allocating memory that was never freed. Users then had to manually2 KB (337 words) - 11:03, 10 November 2008
- ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical13 KB (1,514 words) - 14:38, 6 July 2017
- ...<span style="color:#8B4513"> not checked</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical ...<span style="color:#8B4513"> not checked</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical8 KB (1,105 words) - 07:29, 17 August 2012
- For Gnome users, recent versions of GTK introduce a bug that makes buttons not always respo2 KB (322 words) - 16:45, 20 April 2010
- ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical13 KB (1,514 words) - 07:16, 2 September 2017
- ....3 ||<span style="color:green">available</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical ....3 ||<span style="color:green">available</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical8 KB (1,106 words) - 08:35, 17 May 2012
- ...some documentation for developers of the Theory plug-in. Documentation for users of the plug-in is available in [[Theory Plug-in|this page]].3 KB (394 words) - 07:15, 15 July 2021
- ...<span style="color:#8B4513"> not checked</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical ...<span style="color:#8B4513"> not checked</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical8 KB (1,138 words) - 14:32, 23 November 2012
- As an Event-B model consists of text, users were requesting a text editor, which would allow them to apply their alread ...e database model and the text representation posed a number of challenges. Users must be able to edit both in the text editor and the structural editor. How8 KB (1,257 words) - 15:56, 28 January 2010
- ...ications to the [[#Proof_Trees | proof trees]]. In the Rodin platform, the users are dealing with tactics, not reasoners. ...he platform. However, this tactic will not be a default POM tactic and the users must change the preferences to enable this tactic.17 KB (2,378 words) - 09:48, 17 June 2010
- ...m i.e. refinements and extensions. Hopefully this facility will help Rodin users to better understand complex models and result in a more sensible Rodin mod2 KB (390 words) - 11:38, 16 November 2010
- ...ework]] || 3.2.1 ||<span style="color:#006400">available</span>|| || || || Users should not need to install this framework. It will be installed automatical4 KB (475 words) - 18:40, 22 February 2011
- ...ns and licensing details. It is also used to identify your Plug-in so that users can install it. To build your Plug-in use an eclipse 'site' project. This w Now you need to make your Plug-in available for users to install via the Main Rodin Update site (which comes built-in to the Rodi8 KB (1,260 words) - 12:45, 30 July 2015
- Users who are already running Rodin 2.2 are encouraged to perform an upgrade, as : Mac users may have to use Local... then point to archive root directory, in case the4 KB (515 words) - 08:41, 1 August 2011
- * Model checking (ProB), to enable users to find sequences of events that prevent safety properties or proof obligat3 KB (399 words) - 11:20, 27 January 2010
- ...and proof got bigger and bigger, in the same way as the experience of the users involved constantly increased ergo the size of the systems they modelled. S End users asked the Rodin team to provide 32-bit and 64-bit versions of the Rodin pla20 KB (3,030 words) - 13:18, 18 July 2012
- The purpose of the proof purger is to allow users to explicitly request the deletion of unused proofs by selecting projects a3 KB (505 words) - 12:54, 12 August 2009
- ...ing lists|mailing lists]], both to ask for help and to provide it to other users, spend time on IRC (#rodin on irc.freenode.net) discussing your work with o * Prepare basic documentation for users.10 KB (1,629 words) - 12:50, 12 August 2009
- ...work]] || 3.2.1 ||<span style="color:#006400"> available</span>|| || || || Users should not need to install this framework. It will be installed automatical6 KB (746 words) - 16:17, 24 January 2012
- have no more relative priorities and loose associativity. Instead, users have to make it explicit by entering parenthesis in formulas.3 KB (469 words) - 12:38, 17 April 2009
- ...language notation is not the best way to express event ordering as not all users are familiar with process algebraic notations. It was decided to use graphi4 KB (609 words) - 11:37, 8 January 2010
- ...pment, more than 60% of the time is spent on proofs. That explains why all users are naturally keen for the proofs to be as automatic as possible and why th4 KB (596 words) - 13:21, 18 July 2012
- ...he proofs rely were violated. Although the Rodin editors did not allow the users to input such invalid entries, these API weaknesses were a major concern as ...iki">http://wiki.event-b.org/</ref>, basic source of documentation for the users and developers of the Rodin toolset, is completed by the Rodin handbook, an16 KB (2,554 words) - 14:05, 8 October 2013
- * Receive more feedback from the users to improve tool usability.5 KB (739 words) - 10:48, 23 September 2013
- Linux users may find a UI bug, where it is not possible to compose events since the com4 KB (550 words) - 10:39, 25 November 2014
- It also allows users to export proof obligations to Isabelle theories for later inspection with * make use of smt_certificates so that users without Z3 can build EventB9 KB (1,317 words) - 10:07, 29 April 2013
- Users can select a machine, a context or a whole Event-B project to produce latex4 KB (718 words) - 17:22, 8 July 2016
- The tutorial is most likely the first thing new users are being confronted with. Thus, we feel that this chapter requires a lot ...the text flow. Also, we will keep collecting and processing feedback from users.9 KB (1,421 words) - 12:41, 8 December 2011
- == For Users ==15 KB (2,298 words) - 15:08, 27 January 2011
- ...||<span style="color:#006400"> available</span>|| || 24th Aug. 2011 || || Users should not need to install this framework. It will be installed automatical7 KB (942 words) - 14:03, 3 October 2011
- * During code freeze, Rodin users are invited for testing the Release Candidate4 KB (671 words) - 12:45, 12 August 2009
- ...he Rodin platform is to have simple means for renaming modeling elements. Users want to have a unique operation that will rename an element both at its dec11 KB (1,773 words) - 07:41, 12 January 2016
- By talking to a number of Rodin users we found the following requirements:5 KB (720 words) - 11:28, 15 September 2011
- * Receive more feedback from the users to improve tool usability.6 KB (891 words) - 17:21, 11 December 2012
- ...ts are added to the Event-B model and marked as 'generated'. This prevents users from manually modifying them, and allows them to be removed through a menu However users of such a tool will likely require a diverse range of target languages and12 KB (1,818 words) - 08:31, 20 April 2012
- ...te is a string that could be externalised to be used for displaying to the users in the future.9 KB (1,207 words) - 15:43, 4 September 2013
- === For Rodin 1.x users === FR 3067513: interface theorems to be visible to interface users15 KB (2,008 words) - 15:34, 10 January 2011
- ...soundness of Event-B proof rules within Event-B. The document also allows users to look-up definitions of predefined operators and binders, answering quest ...t containing the definitions of built-in symbols (for Rodin developers and users) can be found in "The logic of Event-B" report.<ref name="eblogic"/>11 KB (1,699 words) - 15:25, 27 January 2011
- The ''Transformation patterns plugin'' allows users to write transformation scripts in [http://www.eclipse.org/gmt/epsilon/doc/7 KB (1,011 words) - 13:08, 1 July 2013
- Eclipse 4.7.2 fixes a bug that affected the proving interface for MacOS users ([https://sourceforge.net/p/rodin-b-sharp/bugs/771/ bug #771]) and was requ5 KB (758 words) - 16:28, 7 March 2018
- : Mac users may have to use Local... then point to archive root directory, in case the Bug 3535219: Icons are Identical Colour for 7% of Male Users10 KB (1,328 words) - 16:14, 3 August 2012
- ...ction is required. A compare and merge editor for Event-B models will help users to solve these conflicts. This editor will be based on the [http://wiki.ecl Requests by several users have shown that there is demand for a text editor for EventB models. Based26 KB (3,961 words) - 13:04, 19 May 2020
- : Mac users may have to use Local... then point to archive root directory, in case the Bug 3535219: Icons are Identical Colour for 7% of Male Users10 KB (1,301 words) - 07:11, 29 August 2013
- ...een documentation written for developers and documentation written for end-users.6 KB (830 words) - 13:21, 7 October 2013
- The idea backing this change was to try to allow users to reuse somehow the8 KB (1,284 words) - 18:33, 30 January 2012
- Feedback from users indicates strongly that the current layout used in the default event-B edit6 KB (915 words) - 16:57, 27 February 2014
- It was asked by end users to make both 32-bit and 64-bit versions of the Rodin platform available for ...cation using Event-B notation and refinement-based development. Generally, users find the modularisation approach fairly intuitive and flexible.35 KB (5,228 words) - 10:12, 23 April 2012
- * [http://users.dickinson.edu/~wahlst/eventb2sql/eventb2sql.html EventB2SQL] translates Eve ...ts are added to the Event-B model and marked as 'generated'. This prevents users from manually modifying them, and allows them to be removed through a menu17 KB (2,568 words) - 09:03, 19 October 2015
- ...default profiles (through extension points, for convenience) which allows users to pick up their auto-tactic from a portfolio, rather than having to define7 KB (1,145 words) - 10:05, 8 October 2013
- : Mac users may have to use Local... then point to archive root directory, in case the6 KB (899 words) - 16:25, 9 July 2014
- ...the model were tried but it has been found that it is more convenient for users to keep a simple package structure. Currently this consists of three packag8 KB (1,224 words) - 15:53, 28 January 2010
- ...simplify a lot, and so make proof obligations simpler and more legible to users.10 KB (1,784 words) - 16:04, 18 March 2014
- ...al format and must be able to type-checked. In order to enter the formula, users are suggested to use the [[Event-B Keyboard View]].14 KB (1,788 words) - 17:33, 24 November 2010
- ...ther feedback from the users within the Project and encourage the external users to try out the plug-in and provide feedback and feature requests. There are19 KB (2,944 words) - 15:28, 27 January 2011
- The aim of the tutorial is to allow users to explore the approach with a relatively simple example. The example uses12 KB (1,741 words) - 08:25, 14 December 2010
- ** The Event-B model should be updated with the flow control variables. Users are not able to manually edit the generated elements. The additions can be11 KB (1,714 words) - 12:41, 2 September 2013
- * All users and contributors that I have forgotten to remember.8 KB (1,249 words) - 13:09, 11 September 2020
- ...of the Rodin Editor<br> The Rodin editor has been lifted up to provide its users with basic edition functionnalities such as navigation actions, edition act8 KB (1,195 words) - 16:35, 9 July 2014
- ...ly very high, which makes manual proving an expensive task; in particular, users have reported that they had to enter very similar proofs again and again (f ...efault configuration can be tweaked regarding some specific situations and users can inspect the translated proof obligations in Isabelle/HOL, test the beha21 KB (3,334 words) - 21:20, 20 April 2012
- Mac users may have to use Local... then point to archive root directory, in case the9 KB (1,317 words) - 11:09, 6 July 2017
- Of course, the database will change when users edit their models. We therefore must define a policy for updating the inde14 KB (2,204 words) - 12:58, 12 October 2009
