Search results

Create the page "Work done" on this wiki! See also the search results found.

Page title matches

• Billaude's work to finish
  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 possibiliti
  10 KB (1,685 words) - 11:50, 26 February 2013

Page text matches

• AnimB Current Developments
  [[Category:Work in progress]]
  140 bytes (19 words) - 09:40, 4 March 2009
• ADVANCE D3.3 Introduction
  ...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 proof
  2 KB (325 words) - 17:32, 29 November 2013
• ADVANCE D3.3 Revised Roadmap
  ...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
• ADVANCE D3.2 Introduction
  ...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
• New Proof Rules
  ...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
• D45 Introduction
  ...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
• D32 Introduction
  ...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-de
  3 KB (415 words) - 17:03, 24 November 2010
• Team-based development
  ...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
• Gnome and broken buttons
  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
• Development of a flash-based filestore
  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 obligati
  4 KB (656 words) - 13:06, 18 November 2010
• Measurement Plug-In
  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
• Proof Hints
  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
• User Documentation Overhaul
  == 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
• UML-B notes for 0.4.4
  ...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
• EMF Compare Editor Investigation
  # 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 work
  4 KB (623 words) - 19:48, 24 September 2009
• Event-B to SMT-LIB
  ...[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 restricted
  5 KB (797 words) - 10:29, 24 October 2011
• Rodin Platform 3.4.0 External Plug-ins
  ...: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/09
  6 KB (855 words) - 16:00, 12 December 2019
• Event-B XText Front-end
  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 XContext
  785 bytes (113 words) - 23:20, 21 July 2017
• AnimB roadmap
  [[Category:Work in progress]]
  1 KB (160 words) - 20:27, 10 March 2009
• D23 Introduction
  ...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

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