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

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

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