Search results

Create the page "Example page/Some sub-page" on this wiki! See also the search results found.

• Help:Subpages
  '''Subpages''' introduce some hierarchical organisation into wiki page names, with levels of the hierarchy separated by slashes '/'. ...is switched off, any slashes (/) within a page name are simply part of the page name and do nothing special.
  2 KB (331 words) - 23:16, 4 July 2008
• Help:User page
  ...king changes]]). You can also link to your user page within text of a wiki page, which is mainly useful on [[Help:Talk pages|talk pages]] when you sign you == What to put on your user page ==
  3 KB (510 words) - 08:58, 5 July 2008
• Improved WD Lemma Generation
  This page describes work done for optimising well-definedness lemmas generated by the ...metimes generates lemmas that are unnecessarily complicated. We first give some motivating examples showing cases where this happens, then we describe what
  4 KB (617 words) - 09:43, 19 June 2012
• Event-B:Village pump
  '''Welcome''' to the '''village pump'''. This page is used to discuss the technical issues, policies, and operations of this w Hello, this place is now created as a standard wiki page that any user can modify. Please post your suggestions, questions or piece
  8 KB (1,148 words) - 08:43, 24 February 2009
• Flows Plug-in
  ...le event flows in a concise and compact form is useful for many tasks, for example, code generation and connecting with other formalisms. The Flows plug-in ad ...tions can never be comfortably handled by Rodin tools (although there were some encouraging results in the application of ProB as a disprover for these kin
  4 KB (699 words) - 17:36, 3 December 2010
• Pattern
  ...sources is available at <tt>'''_exploratory/fuersta/ch.ethz.eventb.pattern.example'''</tt>. :'''Example'''
  17 KB (2,670 words) - 15:07, 24 January 2012
• Help:Sections
  A page can be divided into '''sections''', using the section heading syntax. ...a side (<nowiki>=text here=</nowiki>); this causes a title the size of the page name, which is taken care of automatically.
  23 KB (3,699 words) - 14:10, 12 September 2008
• D23 General Platform Maintenance
  ...Platform_Maintenance#Available_Documentation Rodin Platform Releases] wiki page). In particular: * A wiki page is dedicated to each release.
  7 KB (963 words) - 11:30, 27 January 2010
• Decomposition Plug-in User Guide
  ...ent-b.org/index.php/Event_Model_Decomposition Event-B Model Decomposition] page for technical details on ''shared variables'' (A-style) decomposition. ## Click ''Next'', after some time, the ''Install Details'' page appears
  17 KB (2,521 words) - 15:25, 4 July 2013
• Extending the Pretty Print Page
  The Pretty Print Page of the [http://handbook.event-b.org/current/html/eventb_editor.html Event-B [[Image:PrettyPrintPage.png|480px|center|An example of pretty print page]]
  17 KB (2,385 words) - 09:53, 27 October 2011
• Maplet Overriding in Goal
  This page describes the design of a tactic requested here : [https://sourceforge.net/
  5 KB (824 words) - 16:05, 18 March 2014
• Negation Normal Form
  This page describes the design of a tactic for putting a sequent in Negation Normal F ...t is not clear how to decide which sub-predicate should get the negation. Some cases seem obvious. For instance, if one of the child is itself a negation
  3 KB (596 words) - 16:48, 13 April 2011
• Parallel Composition using Event-B
  ...s the part related to the machine ''v2'' (''e2''<nowiki>''</nowiki>). Also some other events are separated (''e1'' and ''v1'' only exist on machine ''S1'' ## Click ''Next'', after some time, the ''Install Details'' page appears
  7 KB (1,161 words) - 11:02, 4 July 2013
• Rewriting rules for event model decomposition
  The purpose of this page is to list and justify the transformation rules applied in the event model It is first necessary to introduce some equivalence and simplification rules on Event-B assignments and predicates.
  10 KB (1,604 words) - 09:19, 27 October 2011
• Records Extension
  ...uld be read in conjunction with the [[Structured_Types|Structured Types]] page which gives a more theoretical description of the origin of the Records ext First define Records in the Record Declarations section. Some of these can subtype others but you need at least one that is not a subset,
  8 KB (1,347 words) - 13:07, 21 July 2010
• Modus Ponens generalized
  This page describes the design of a tactic replacing a predicate <math> P </math> in ...ssible conjunctions in the left-hand side of the implication, it checks if some appear in selected hypothesis. In that case, every predicate which is also
  10 KB (1,784 words) - 16:04, 18 March 2014
• Past Developments
  This page sum up the developments recently done around or for the [[Rodin Platform]], The following tasks were planned at some stage of the [[Deploy]] project.
  6 KB (915 words) - 16:57, 27 February 2014
• D32 Scalability
  ...tions can never be comfortably handled by Rodin tools (although there were some encouraging results in the application of ProB as a disprover for these kin ...roperty is mostly appropriate: ''termination with probability one''. As an example for this type of systems is to consider tossing a coin until it comes up ta
  19 KB (2,944 words) - 15:28, 27 January 2011
• Extending the Static Checker (How to extend Rodin Tutorial)
  ...odel which "''could'' have some sense"). This means that we have to verify some additional properties on the newly added elements. <br> 1. To extend the static checker in order to verify some conditions, one has to '''define a static checker module''' using the exten
  18 KB (2,534 words) - 13:53, 5 September 2013
• Rodin Proof Tactics
  This page contains descriptions of the available proof tactics within the RODIN Platf * '''Proving interface display''': Example(s) on how applications of this tactic can be seen from the [[The Proving Pe
  57 KB (6,150 words) - 17:25, 21 February 2012

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