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 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
- [[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
- ...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
- ...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
- == 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
- [[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
- ...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
- ...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
- 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
- ...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
