Search results
From Event-B
Jump to navigationJump to searchCreate the page "Work done" on this wiki! See also the search results found.
Page title matches
- This category gathers pages related to the work in progress.20 members (1 subcategory, 0 files) - 09:24, 4 March 2009
- This page is here to describe the work that I started, but which is yet to be finished. ...ath> and <math>\upred</math> are proceeded. But, more re-writing should be done. Unfortunately, I did not take too much time to analyze all the possibiliti10 KB (1,685 words) - 11:50, 26 February 2013
Page text matches
- == Work in Progress ==318 bytes (39 words) - 13:00, 22 January 2010
- This category gathers pages related to the work in progress.20 members (1 subcategory, 0 files) - 09:24, 4 March 2009
File:AnimB.pdf Work in progress tutorial for doing a flash animation for animB(659 KB) - 20:50, 30 April 2020- [[Category:Work in progress]]17 members (0 subcategories, 0 files) - 21:45, 11 December 2008
- ...aaaaa;"><small> <br/>[[:Category:Work in progress| Documents in the ''Work in progress'' category]]</small></div>994 bytes (131 words) - 14:21, 15 January 2019
- [[Category:Work in progress]]140 bytes (19 words) - 09:40, 4 March 2009
- ...cument intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during t The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof2 KB (325 words) - 17:32, 29 November 2013
- ...r November 7th and 8th, 2013 the industrial partners which are involved in work packages 1 and 2 expressed their tooling needs to support the case studies. == Common needs across both work packages ==4 KB (677 words) - 16:41, 2 December 2013
- ...t document intends to give a relevant overview of the work achieved within work package 3 ''Methods and Tools for Model Construction and Proof'', during th The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof2 KB (296 words) - 14:27, 6 November 2014
- |<code><nowiki>{{Thankyou|all your hard work|Joe}}</nowiki></code> {{Thankyou|all your hard work|Joe}}5 KB (845 words) - 20:18, 10 September 2008
- ...cument intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during t ...ss the objectives of the task 3.2 mentionned in the ADVANCE Description of Work (DoW).2 KB (371 words) - 16:27, 13 July 2012
- In order for the method to work four techniques need to be developed: Concerning 1. and 2. we can rely on existing work on (concurrent)1 KB (201 words) - 16:46, 20 October 2009
- ...over. The rules are added using as various plug-ins with most of the work done in a declarative fashion. Moreover the new features are also tested using t The work is related to the following rewriting rule:4 KB (738 words) - 12:53, 12 August 2009
- ...rview of the work done within the WP9 ''Tooling research and development'' work package, during the fourth and last period of the DEPLOY project (Feb 2011- ...zed, and periodically updated to both fit with the original Description of Work (DoW) and give answers to DEPLOY partner issues.3 KB (500 words) - 09:18, 23 April 2012
- ...the work achieved throughout the WP9 ''Tooling research and development'' work package, during the third year of the DEPLOY project (Feb 2010-Jan 2011), a ...ber of automatically discharged proof obligations. Moreover, work has been done to establish the soundness of provers and improve the generation of well-de3 KB (415 words) - 17:03, 24 November 2010
- ...stall other items but if you install the Java HL client adapter it may not work for models and you may need to change the preferences to SVNKit) Currently the EMF compare editor does not work with the team-synchronise with repository view.3 KB (445 words) - 07:03, 1 August 2011
- A bug in recent versions of Gnome makes buttons not always work within applications, including Eclipse and thus Rodin. This bug is referenc 2. copy/paste one of the following scripts (both should work; if one does not, just try the other one) :2 KB (321 words) - 13:25, 3 February 2010
- The work on the development of a flash-based file system in Event-B is reported in a ...affecting the tree structure including create, copy, delete and move. This work is aimed at constructing a clear and accurate model with all proof obligati4 KB (656 words) - 13:06, 18 November 2010
- This work is planned for project year 2. This chapter introduces the main requirement [[Category:Work in progress]]2 KB (308 words) - 16:35, 17 December 2008
- 3. '''Work around''': we show a solution (rather a work-around) for the current RODIN Platform. In order to finish the proof, a correct "proof by cases" is done to consider <math>a = 1</math> or <math>a \neq 1</math>.4 KB (545 words) - 22:17, 5 March 2010
- : Fine with me... thank you for your work and cleaning on the wiki ! [[User:Mathieu|mathieu]] 14:21, 26 March 2010 (U ::It's done, ''de rien'' I just did some changes while I read the articles. [[User:Jrlo638 bytes (92 words) - 18:37, 26 March 2010
- == Description of Work and Progress == ...te page [[Documentation Overhaul DoW]] that lists the Description of Work, Work Packages and their progress.5 KB (720 words) - 11:28, 15 September 2011
- ...cking on the transition name inside the statemachine figure. (This dosen't work for nested statemachines because they do not appear on the class diagram).778 bytes (122 words) - 12:15, 4 March 2009
- # doing this does not work because the text compare editor opens in preference (I think this is becaus ...ent type extensions (rodin core, eventb core etc) but this did not seem to work4 KB (623 words) - 19:48, 24 September 2009
- ...[http://decert.gforge.inria.fr/deliverable/D1-RequirementAnalysis-2009.pdf Work Package 1] of the project. Using the [http://www.smtlib.org/ SMT-LIB] stand ...eoretic constructs from each other and simplifies predicates. Once this is done, the Event-B Abstract Syntax Tree to be translated in SMT-LIB is restricted5 KB (797 words) - 10:29, 24 October 2011
- ...:green"> available </span> || ?.x.x || || || Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/09 ...aurent.voisin@systerel.fr Laurent Voisin] || Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/096 KB (855 words) - 16:00, 12 December 2019
- The Event-B XText editors (i.e., XContext and XMachine editors) do not work directly on the Rodin files. Instead, they operate on the separate XContext785 bytes (113 words) - 23:20, 21 July 2017
- ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.4 KB (652 words) - 15:59, 31 October 2012
- [[Category:Work in progress]]1 KB (160 words) - 20:27, 10 March 2009
- ...9-Jan 2010), in the course of the WP9 ''Tooling research and development'' work package, and brings new perspectives for the coming year.3 KB (399 words) - 11:20, 27 January 2010
- an overview of the work done and of some of the results. == Description of Work ==6 KB (967 words) - 12:57, 28 October 2008
- ...mplementation-oriented view. That is, it would be nicer if extenders could work at a more model-oriented level and not have to understand (and get right) d ...ng new attributes and collections to this subclass. However, this does not work retrospectively for previously created models. Also, extensions are effecti7 KB (1,094 words) - 10:50, 22 January 2010
- Rodin will work on the following operating systems ...on 11 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE.4 KB (640 words) - 14:09, 25 May 2021
- The work of the project will be driven by the tasks of achieving and evaluating indu1 KB (174 words) - 11:11, 18 September 2008
- [[Category:Work in progress]]1 KB (176 words) - 07:06, 1 August 2011
- It would be great if two people work independtly on different proofs that the discharged proof obligations could1,010 bytes (157 words) - 10:00, 22 October 2009
- * There is work in progress towards support of the upcoming 2.0 version of the Theory plug- The work on physical unit support has been completed and is available as an optional6 KB (1,016 words) - 10:41, 23 September 2013
- ...le will give to the project reviewers some insight on what happened in the work package 3, concerning its 3 main objectives: ...created (see [[#Contents | Contents]]) to give a brief description of the work that was carried on during second period of the project (Sept 2012-Sept 2016 KB (830 words) - 13:21, 7 October 2013
- Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.1 KB (162 words) - 19:48, 17 October 2010
- ...u can always see the anchors list when editing this section only, and they work exactly like the heading's own regular anchor. (This is not the case when t ...or the anchors in a section title echo inside any section edit summary and work just as well.9 KB (1,362 words) - 13:23, 11 September 2008
- ...e development platform. There is currently two plug-ins that are known to work quite well: [http://subclipse.tigris.org/ Subclipse] and [http://www.eclips Note that the filtering on <tt>CVSROOT</tt> didn't seem to work as expected: this directory still occurred in the SVN trunk and had to be r4 KB (710 words) - 09:37, 1 April 2009
- ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.6 KB (899 words) - 16:25, 9 July 2014
- * [[:Category:Work in progress]]2 KB (179 words) - 09:17, 20 November 2013
- ...on in order to support user defined operators from the Theory plug-in. The work on the feature is currently suspended until the Theory plug-in supports acc The need for constraint-based deadlock checking arose in the automotive work package, more precisely during the elaboration of the cruise control system7 KB (1,025 words) - 21:35, 20 April 2012
- ...le will give to the project reviewers some insight on what happened in the work package 3, concerning its 3 main objectives: ...created (see [[#Contents | Contents]]) to give a brief description of the work that was carried on during the first 10 months of the project (Oct 2011-Jul6 KB (894 words) - 09:47, 5 June 2012
- ...tail&aid=2564269&group_id=108850&atid=651669 Fix Bug] Collapse all doesn't work ...ail&aid=2510121&group_id=108850&atid=651669 Fix Bug] CTRL+S doesn't always work7 KB (848 words) - 21:22, 5 April 2011
- ...created (see [[#Contents | Contents]]) to give a brief description of the work that was carried on during the second year of the project (Feb 2010-Jan 201 ...improvement. More precisely, it shall first indicate the state before the work, the encountered difficulties, and shall highlight the requirements (eg. th5 KB (699 words) - 14:52, 30 November 2010
- ...tigate a version of MBT using Event-B models as test models. This research work provides a new feature in the Rodin platform, complementing the existing th ...were implemented and applied to message choreography models from SAP. They work fine for models with data with a small finite range. However, in case of va8 KB (1,215 words) - 15:14, 27 January 2011
- [[Category:Work in progress]]1,001 bytes (119 words) - 14:53, 21 January 2010
- ...ontents | Contents]]). Each of them should give a brief description of the work that was carried on during the last year of the project (Feb 2011-April 201 ...improvement. More precisely, it shall first indicate the state before the work, the encountered difficulties, and shall highlight the requirements (eg. th5 KB (732 words) - 08:31, 14 February 2012
- Rodin will work on the following operating systems ...on 11 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE.5 KB (703 words) - 14:37, 29 April 2022
- ...pton, Hitachi Ltd. and ETH Zurich are discussing on how to consolidate the work and merge the two plug-ins.2 KB (232 words) - 15:23, 4 July 2013
- For source plugins to work properly in a [[Using Rodin as Target Platform|target platform]] configurat ...hat the workspace is in the release revision (no further commits have been done). If this is not the case, switch the workspace into the release revision.2 KB (237 words) - 14:58, 10 March 2011
- In the last year of DEPLOY, the work done on MBT proceeded according to the plan (summarized in the previous delivera ...fits well with the notion of Event-B refinement. It can also be adapted to work with decomposed Event-B models.7 KB (1,044 words) - 21:39, 20 April 2012
- [[category:Work in progress]]1 KB (215 words) - 12:08, 12 August 2009
- ...e improved. We like working on this project because this project makes our work more effective, and we hope you'll like it, too. Showing your motivation he == Getting things done ==10 KB (1,629 words) - 12:50, 12 August 2009
- ...invite all the academic and industrial partners to submit papers about the work they carried out inside the DEPLOY project. ...purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published and the presentation will remain internal to7 KB (1,003 words) - 20:08, 12 October 2009
- ...created (see [[#Contents | Contents]]) to give a brief description of the work that was carried on during the second year of the project (Feb 2009-Jan 201 ...improvement. More precisely, it shall first indicate the state before the work, the encountered difficulties, and shall highlight the requirements (eg. th4 KB (576 words) - 16:01, 26 January 2010
- ...uite old previous version that was shipped and the good work that has been done since on the prover.2 KB (281 words) - 15:57, 11 September 2017
- ...]]. This will allow UML-B to be re-implemented as an extension to Event-B. Work has begun on this framework and resulting integrated tools will become avai [[Category:Work in progress]]5 KB (738 words) - 09:13, 4 March 2009
- ; (S-2) Multiple users work concurrently on an Event-B Project: In this scenario, it is expected that s ...file. This still leaves open the issue of how to enable multiple users to work on proofs a the same time. If every proof is represented by a single file,4 KB (670 words) - 14:38, 29 January 2009
- ...ss variables and less events and less proof obligations. This partition is done in a way that the sub-models (also referred as sub-components) are independ ...ning and revision control, provided by the SVN system. It was difficult to work on models in parallel and manage changes made by different parties, especia5 KB (780 words) - 11:22, 21 December 2010
- This page sum up the developments recently done around or for the [[Rodin Platform]], which are integrated or compatibles w [[User:Maria|Maria Husmann]] was in charge of this exploratory work during her internship at [http://www.systerel.fr Systerel].6 KB (915 words) - 16:57, 27 February 2014
- Rodin will work on the following operating systems ...ion 8 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE.8 KB (1,249 words) - 13:09, 11 September 2020
- Rodin will work on the following operating systems ...on 11 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE.5 KB (775 words) - 12:00, 4 April 2023
- ...ay for several developers to share the parts of a decomposed model, and to work independently and possibly in parallel on them. ...nstance), mainly because of time constraints (in the DEPLOY description of work, the decomposition support is planned for end of 2009).6 KB (825 words) - 13:27, 27 January 2010
- Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.1 KB (216 words) - 15:46, 28 January 2011
- * Click on the '''Work with''' dropdown list and select the Atelier B provers update site.2 KB (322 words) - 16:45, 20 April 2010
- ...ting file dependencies is delegated to indexers (however, if it is already done by indexers that run before yours, there is no need to do it twice, simply ...ndexer depends on others (see below), you can also get the result of their work.6 KB (969 words) - 13:17, 29 May 2009
- Bug #3086746: Functional Image Rewrites does not work properly2 KB (248 words) - 15:58, 16 November 2010
- This page sum up the known developments that are being done around or for the [[Rodin Platform]]. ''Please contributes informations abo ===== Work already performed =====12 KB (1,869 words) - 16:35, 18 March 2014
- ...(resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, dev ...ks are processed in the same way as the task planned in the description of work.9 KB (1,423 words) - 16:28, 14 November 2011
- ==Initial Work == Initial work towards implementation of this framework is described in [http://stups.hhu.11 KB (1,773 words) - 07:41, 12 January 2016
- ...conflicts with the more general definition of bridges the prover will not work properly. (It would be better if the type axiom for bridges was minimal and2 KB (386 words) - 22:23, 11 December 2008
- ...created (see [[#Contents | Contents]]) to give a brief description of the work that was carried on during third period of the project (Oct 2013-Nov 2014). ...improvement. More precisely, it shall first indicate the state before the work, the encountered difficulties, and shall highlight the requirements (eg. th5 KB (780 words) - 14:57, 6 October 2014
- .../pywikipediabot.sourceforge.net/. Hereafter are some guidelines to make it work on this wiki. ...; do (yes | python upload.py -v -noverify -keep $i "Import of image $i"); done2 KB (336 words) - 10:34, 7 January 2010
- ...RE (8 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE. : Atelier B provers work more slowly; it can cause ML to not automatically discharge some sequents t5 KB (758 words) - 16:28, 7 March 2018
- ...t is indeed useful for implementing ''(S-4)'' but also too allow people to work with history without being connected to a centralized server (which is not :I wonder if textual merge (as it was done until now, because computer program were written as text) is the good solut5 KB (798 words) - 09:19, 2 March 2010
- ...all Epsilon manually, since the automatic install utility does not seem to work for this feature. We currently use the Epsilon interim update site availabl === Ongoing Work ===17 KB (2,568 words) - 09:03, 19 October 2015
- ...of work for DEPLOY that was not identified in the original Description of Work for the project. During the first year of the project, as the Deployment P The code generation work is being lead by Southampton with initial input from Newcastle.11 KB (1,725 words) - 18:07, 7 December 2009
- ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE. : Atelier B provers work more slowly; it can cause ML to not automatically discharge some sequents t6 KB (909 words) - 13:48, 17 December 2014
- [[Category:Work in progress]]2 KB (320 words) - 07:06, 1 August 2011
- * There is work in progress towards full support of Theory plug-in: support for external an The latter is particularly important in light of the Theory plug-in work.11 KB (1,711 words) - 09:47, 26 June 2012
- ...ect Explorer. In order to work with the Requirements Plug-In, you need to work with the Navigator View. You can open it via Window > Show View > Other... ...te 1:''' While Identifier and Document can be edited here, it shouldn't be done (changes will be lost upon next synchronization).7 KB (995 words) - 15:44, 25 February 2009
- The recommended practice is to work with a target platform, as described in how to adapt plug-ins that work with Rodin 2.7 to the new 3.0 API.8 KB (1,260 words) - 12:45, 30 July 2015
- ...umber of team members at Southampton; and also at other institutions. This work draws on our recent experience with technologies such as ''Shared Event Dec ...mature tool. Nevertheless much insight has been gained in undertaking this work; it lays a foundation for future research, and will be useful since it will15 KB (2,298 words) - 15:08, 27 January 2011
- ...ded with a link to create the new page. (Note that this technique doesn't work if you use the 'search' button).3 KB (522 words) - 22:57, 4 July 2008
- | "[[template talk:foo|talk]]"; a link to the associated talk page (will not work correctly if the template is used for a talk page).4 KB (420 words) - 13:19, 23 February 2009
- obligation <tt>FIS</tt> is supposed to work as a filter and prevent models from [[Category:Work done]]8 KB (1,284 words) - 18:33, 30 January 2012
- ...h, but it's good to get into the habit of eliminating mistakes in your own work, by using a preview before saving, rather than saving several minor correct2 KB (425 words) - 22:40, 4 July 2008
- Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.2 KB (353 words) - 12:45, 12 August 2009
- ...h or a path relative to the search path or a path relative to your current work directory. * Support for Windows is limited. Export of proof obligations does work. Invoking Isabelle from Rodin does not. The problem is to launch Isabelle t9 KB (1,317 words) - 10:07, 29 April 2013
- ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.10 KB (1,328 words) - 16:14, 3 August 2012
- ...edirect (a page redirecting to a page which is itself a redirect) will not work. The redirecting will not follow through to the end of the chain. Instead p3 KB (544 words) - 08:59, 5 July 2008
- ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.11 KB (1,542 words) - 08:35, 1 March 2012
- :* '''IUserSupport API simplification''': some operations of the user support work only on the proof tree in main memory. Therefore, they cannot raise any Rod ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE.11 KB (1,478 words) - 17:32, 2 May 2012
- ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.10 KB (1,301 words) - 07:11, 29 August 2013
- ...y, the Camille editor is very strict on dependencies, so although it would work fine with a minor update, it has to be removed before you can install the n3 KB (469 words) - 14:17, 21 October 2009
- ...ntirely deliberate design feature, which is an important part of why wikis work. Every kind of editing operation can be reverted by any other user, and tha3 KB (519 words) - 08:59, 5 July 2008
- ...nts (plug-in contributers) will be allowed to select the mode they want to work with. This verification will be done as follows: Check each occurrence of the <tt>typeCheck()</tt>, <tt>isTypeC3 KB (431 words) - 15:14, 18 February 2010
