Search results

From Event-B
Jump to navigationJump to search

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

  • Rodin Workshop 2020
    ...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 g
    2 KB (303 words) - 14:32, 19 May 2020
  • Rodin Workshop 2018 CFP
    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
  • Rodin Workshop 2018
    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 tool
    2 KB (356 words) - 12:46, 24 May 2018
  • Rodin Workshop 2024
    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
  • Scenarios for Team-based Development
    * 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 individua
    4 KB (670 words) - 14:38, 29 January 2009
  • Rodin Workshop 2012
    ...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 gain
    4 KB (530 words) - 15:34, 23 March 2012
  • Rodin Workshop 2023
    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
  • Rodin Workshop 2009
    ...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 gain
    5 KB (766 words) - 09:59, 21 September 2011
  • D23 General Platform Maintenance
    : - 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
  • D32 General Platform Maintenance
    ...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 operation
    9 KB (1,423 words) - 16:28, 14 November 2011
  • Rodin Platform 2.2.1 Release Notes
    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 the
    3 KB (398 words) - 15:31, 22 July 2011
  • Mailing lists
    ;User: This mailing list is for users of the Rodin Platform to discuss about usage of the Rodin Platform and to e
    2 KB (223 words) - 09:23, 30 May 2013
  • Dagstuhl Seminar 2009
    ...the identification of a list of '''challenging issues faced by industrial users of formal methods'''.
    1 KB (150 words) - 13:31, 3 November 2009
  • Rodin Platform 2.1.1 Release Notes
    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 the
    3 KB (395 words) - 13:15, 1 June 2011
  • Rodin Workshop 2021
    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
  • Rodin Workshop 2013
    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
  • Rodin Platform 3.4.0 External Plug-ins
    ...[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 automatical
    6 KB (855 words) - 16:00, 12 December 2019
  • Rodin Platform 3.5.0 External Plug-ins
    ..."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 E
    9 KB (1,244 words) - 13:52, 1 April 2022
  • Rodin Workshop 2016
    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
  • Generic Instantiation Proposal
    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
  • Handbook Content Migration
    ...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
  • D32 Mathematical Extensions
    ...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 us
    7 KB (1,095 words) - 14:40, 21 December 2010
  • Undo Redo
    ..., 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, th
    4 KB (599 words) - 15:56, 28 January 2009
  • Language of an Event-B Component
    ...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
  • Theory Plug-in
    ...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 mathematica
    7 KB (958 words) - 14:53, 14 June 2021
  • D32 UML-B
    ...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 no
    9 KB (1,382 words) - 11:05, 27 January 2011
  • Rodin Platform 3.0.0 External Plug-ins
    ...[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 automatical
    13 KB (1,415 words) - 07:56, 28 May 2015
  • Rodin Platform 2.7.0 External Plug-ins
    ...[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 automatical
    12 KB (1,324 words) - 13:37, 3 June 2013
  • Development of a flash-based filestore
    ...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
  • CamilleX User Guide
    * Windows users '''must''' change the workspace text file encoding to '''UTF-8'''. This can
    2 KB (281 words) - 12:31, 9 March 2023
  • D23 Improvements to Existing Provers
    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
  • Flows Plug-in
    ...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 are
    4 KB (699 words) - 17:36, 3 December 2010
  • D32 Teamwork
    ...es made by different parties, especially for big and complex models. Other users expressed a concern on safety aspect of collaborative development, thus poi
    5 KB (780 words) - 11:22, 21 December 2010
  • Rodin Platform 2.8.0 External Plug-ins
    ...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 automatical
    13 KB (1,455 words) - 13:43, 28 November 2014
  • Rodin Platform 3.1.0 External Plug-ins
    ...[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 automatical
    13 KB (1,452 words) - 09:38, 18 June 2015
  • Rodin Workshop 2014
    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
  • D23 Decomposition
    ...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
  • Rodin Platform 2.3 External Plug-ins
    ...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 automatical
    8 KB (1,053 words) - 09:10, 4 January 2012
  • Single View Design
    ...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 presented
    5 KB (842 words) - 18:35, 26 March 2010
  • Tracking Memory Leaks
    ...attempting to use this prover was allocating memory that was never freed. Users then had to manually
    2 KB (337 words) - 11:03, 10 November 2008
  • Rodin Platform 3.2.0 External Plug-ins
    ...[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 automatical
    13 KB (1,514 words) - 14:38, 6 July 2017
  • Rodin Platform 2.6.0 External Plug-ins
    ...<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 automatical
    8 KB (1,105 words) - 07:29, 17 August 2012
  • Rodin Platform Welcome Page
    For Gnome users, recent versions of GTK introduce a bug that makes buttons not always respo
    2 KB (322 words) - 16:45, 20 April 2010
  • Rodin Platform 3.3.0 External Plug-ins
    ...[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 automatical
    13 KB (1,514 words) - 07:16, 2 September 2017
  • Rodin Platform 2.4 External Plug-ins
    ....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 automatical
    8 KB (1,106 words) - 08:35, 17 May 2012
  • Theory Plug-in Developer Documentation
    ...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
  • Rodin Platform 2.5.0 External Plug-ins
    ...<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 automatical
    8 KB (1,138 words) - 14:32, 23 November 2012
  • D23 TEXT
    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. How
    8 KB (1,257 words) - 15:56, 28 January 2010
  • Sequent Prover Developer Guide
    ...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
  • Project Diagram
    ...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 mod
    2 KB (390 words) - 11:38, 16 November 2010

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

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’