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