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

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