Search results

From Event-B
Jump to navigationJump to search
  • See [[TextEditor_EBNF#Examples|TextEditor EBNF - Examples]] for the code or download the [http://deploy-eprints.ecs.soton.ac.uk/56/4/ See [[TextEditor_EBNF#Examples|TextEditor EBNF - Examples]] for the code or download the [http://deploy-eprints.ecs.soton.ac.uk/56/4/
    1 KB (174 words) - 12:43, 12 August 2009
  • ...s lemmas that are unnecessarily complicated. We first give some motivating examples showing cases where this happens, then we describe what result shall be pro == Motivating Examples ==
    4 KB (617 words) - 09:43, 19 June 2012
  • ...on|explains]] some details and design decisions and gives some [[#Examples|examples]]. ===Examples ===
    4 KB (559 words) - 12:43, 12 August 2009
  • ...g the concept of the various diagrams and illustrating their use with some examples ==Worked Examples==
    4 KB (535 words) - 14:58, 10 December 2012
  • ...g the concept of the various diagrams and illustrating their use with some examples ==Worked Examples==
    4 KB (535 words) - 14:56, 10 December 2012
  • Here are some examples of the strange behavior of these views in Rodin 2.3+ (subversion r13884). A common pattern that occurs in these examples is that the view do refresh only on explicit clicks from the user in the Pr
    4 KB (683 words) - 18:33, 16 December 2011
  • ...checking allows to check if the model contains errors and provides counter-examples that help to understand the problem beforehand. Moreover, it allows to reas == Available Documentation ==
    6 KB (1,016 words) - 10:41, 23 September 2013
  • ...h> of <math>DT</math>; all parameters are introduced as fresh identifiers; examples [[Datatype Rules|here]] || M [[Category:User documentation|The Proving Perspective]]
    2 KB (307 words) - 15:38, 29 November 2019
  • ...checking allows to check if the model contains errors and provides counter-examples that help to understand the problem beforehand. ...l checking. One problem when using LTL to validate a model is that counter-examples returned by the model checker are often hard to understand.
    11 KB (1,711 words) - 09:47, 26 June 2012
  • Updated Examples etc. are available: ...tory: [https://codegenerationd.svn.sourceforge.net/svnroot/codegenerationd/Examples/v0.2.3/ SVN].
    17 KB (2,568 words) - 09:03, 19 October 2015
  • = Available Documentation = ...i page covering the plug-in functionality. Also, we are working on further documentation and tutorial.
    6 KB (921 words) - 11:43, 8 January 2010
  • ...We will also provide templates as needed, to simplify the creation of the documentation. The Reference Section will be the most comprehensive part of the documentation. It will consist of a number of chapters. At this point we see at least t
    9 KB (1,421 words) - 12:41, 8 December 2011
  • * EVBT — an Event-B tool for code generation and documentation - ''Fredrik Öhrström'' ([[Media:RodinWorkshop2021_EVBT.pdf|pdf]]) * Examples of using the Instantiation Plug-in - ''Dominique Cansell, Jean-Raymond Abri
    4 KB (595 words) - 09:41, 29 June 2021
  • Other small examples are used in parallel to review all extensions abilities. [[Category:Developer documentation|*Index]]
    5 KB (825 words) - 17:03, 16 October 2010
  • ...o use contexts for purposes for which they were not intentionally devised. Examples of operators that can be useful to users include the sequence operator (whi [[Category:User documentation]]
    7 KB (958 words) - 14:53, 14 June 2021
  • * Prepare basic documentation for users. Write some user documentation.
    10 KB (1,629 words) - 12:50, 12 August 2009
  • ...]] and the corresponding [[Mathematical_Language_Evolution_Design|design]] documentation. ...dels via the Rodin API and facilities to support text editing and parsing. Examples of tools that will be based on the EMF framework for Rodin are, a Text edit
    6 KB (915 words) - 16:57, 27 February 2014
  • = Available Documentation = * Worked Examples<ref name="UML-B">http://wiki.event-b.org/index.php/UML-B</ref>.
    9 KB (1,382 words) - 11:05, 27 January 2011
  • ...preservation proof obligations. ProB has also been used for finding count examples to proof rules of the industrial partner Siemens.<br> ...time) and then applies the ProB constraint solver to try and find counter examples to each proof rule.
    21 KB (3,334 words) - 21:20, 20 April 2012
  • * Counter examples are found by ProB for various versions of the model in 9-24 seconds (includ For some other examples (in particular time-tabling) involving operators such as the relational ima
    16 KB (2,553 words) - 15:12, 27 January 2011
  • Those precendent cases are only the most general examples that you will face and are made to give an idea of the new API good usage, 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
  • ...lass <tt>org.eventb.core.seqprover.reasonerInputs.EmptyInputReasoner</tt>. Examples include <tt>org.eventb.internal.core.seqprover.eventbExtensions.ImpI</tt> w [[Category:Developer documentation]]
    17 KB (2,378 words) - 09:48, 17 June 2010
  • In this part we will study concrete examples, to show how the core pretty printer is extended by contributions. [[Category:Developer documentation]]
    17 KB (2,385 words) - 09:53, 27 October 2011
  • = Available Documentation = ...t were required in moving from a tool capable of dealing with medium-sized examples towards a tool able to deal with actual industrial specifications. Notably,
    17 KB (2,580 words) - 15:55, 28 January 2010
  • Examples: * [http://rodinmodeftview.sourceforge.net/examples/train.zip Toy train example]
    21 KB (3,472 words) - 20:32, 26 June 2015
  • ...plied when green buttons appear in the Goal and Selected Hypotheses views. Examples are proof by contradiction [[Image:falsify_prover.gif]], that we have alrea [[Category:User documentation|The Proving Perspective]]
    27 KB (4,348 words) - 08:56, 26 September 2011
  • ...plied when green buttons appear in the Goal and Selected Hypotheses views. Examples are proof by contradiction [[Image:falsify_prover.gif]], that we have alrea [[Category:User documentation|The Proving Perspective]]
    27 KB (4,348 words) - 18:45, 28 September 2011