Search results

From Event-B
Jump to navigationJump to search

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

  • Code Generation Activity
    ...e following, which should be installed if the features are required by the user for editing: We released a new version of the code generator on 30-11-2011, and updated documentation.
    17 KB (2,568 words) - 09:03, 19 October 2015
  • MBT plugin
    ...f [http://en.wikipedia.org/wiki/Wizard_%28software%29 wizard], guiding the user step by step toward ''test suite generation'', starting with the most abstr The first step requires the user to specify the value for the ''maximum sequence length'' constant (<math>l<
    9 KB (1,434 words) - 06:45, 6 April 2012
  • D23 Rule-based Prover
    ...ns in a uniform and effective fashion. It is uniform because it offers the user (we shall call a theory developer) the possibility to develop and validate =Available Documentation=
    5 KB (796 words) - 11:44, 8 January 2010
  • Extending Refinement Actions
    ...of a loop in the dependencies, an internal error would be reported to the user (with details of the loop in the workspace log). [[Category:Developer documentation]]
    5 KB (764 words) - 15:49, 19 April 2011
  • Refinement of Statemachines
    [[Category:User documentation]]
    6 KB (895 words) - 06:12, 8 September 2011
  • D32 Provers
    ...ss subgoals, thus rendering well-definedness almost transparent to the end-user. For PP and newPP the user can still manually select the hypotheses he considers relevant, but that is
    11 KB (1,699 words) - 15:25, 27 January 2011
  • Details for Uploading Main Rodin Update Site
    ...akes it easier to locate the file from the terminal command line since the user home directory is the default local directory in Terminal) [[Category:Developer documentation|*Index]]
    10 KB (1,436 words) - 09:06, 27 May 2015
  • Generic Event-B EMF extensions
    There is a documentation plugin in the EMF translator source code that describes the necessary exten * ---user entered items---
    13 KB (1,988 words) - 11:01, 30 May 2020
  • 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
  • Decomposition Plug-in User Guide
    ...e an error occurs during the decomposition, a message is displayed and the user is asked to delete the possible created files. The error will be displayed ...elements that belong to different sub-components. So solve this issue, the user must explicitly separate the elements (by a further refinement or introduci
    17 KB (2,521 words) - 15:25, 4 July 2013
  • Parallel Composition using Event-B
    ...e inclusion of more invariants (from the included machines) depends on the user’s choice on ''Includes''. The defined invariants on the composed machine [[Category:User documentation]]
    7 KB (1,161 words) - 11:02, 4 July 2013
  • D23 ProB
    ...validation algorithm now can animate a range of refinements together. The user can decide which levels are to be animated together. User experience is also improved, as he or she can inspect also the abstract var
    17 KB (2,580 words) - 15:55, 28 January 2010
  • Relation Rewrite Rules
    [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]]
    33 KB (4,853 words) - 15:13, 3 June 2024
  • D45 Model Checking
    ...nslation from Event-B into its internal representation in order to support user defined operators from the Theory plug-in. The work on the feature is curre = Available Documentation =
    7 KB (1,025 words) - 21:35, 20 April 2012
  • Set Rewrite Rules
    [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]]
    29 KB (4,188 words) - 14:33, 13 April 2023
  • D45 Code Generation
    = Available Documentation = We have updated the documentation<ref>http://wiki.event-b.org/index.php/Code_Generation_Activity</ref>, inclu
    12 KB (1,818 words) - 08:31, 20 April 2012
  • Rodin 3.0 Plug-in Migration Guide
    ...ironment}}: in case you will not modify the type environment and allow the user to provide the most convenient type for him. You must not later cast the pa Please refer to the documentation of the extension point for further details on how to implement things.
    17 KB (2,614 words) - 16:25, 14 February 2014
  • Tasking Event-B Tutorial
    ...ava code is produced from an intermediate model that is not visible to the user. The Common Language model (CLM), is generated from the Tasking Event-B by [[Category:User documentation]]
    11 KB (1,714 words) - 12:41, 2 September 2013
  • Extending the project explorer
    ...on for use when displaying the metadata about the content extension to the user. ...e active by default. Each content extension may be turned on or off by the user. The active state is differentiated from the visible state. See <tt>org.ecl
    20 KB (2,461 words) - 16:33, 24 May 2010

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

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