Search results

From Event-B
Jump to navigationJump to search

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

Page title matches

  • ADVANCE D3.2 Introduction
    ...r plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable. ...ols for Model Construction and Proof'', during the first ten months of the ADVANCE project (Oct 2011 - Jul 2011), and aims to let the reader get a glimpse of
    2 KB (371 words) - 16:27, 13 July 2012
  • ADVANCE D3.3 Introduction
    ...r plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable. ...Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader understand the
    2 KB (325 words) - 17:32, 29 November 2013
  • ADVANCE Deliverable D3.3
    ...is to give a common structure and guidelines to collaboratively build the ADVANCE Deliverable D3.3 (Methods and tools for model construction and proof II) wh * ADVANCE and Rodin shall be typed this way.
    6 KB (830 words) - 13:21, 7 October 2013
  • ADVANCE Delivrable D3.3
    #REDIRECT [[ADVANCE Deliverable D3.3]]
    38 bytes (4 words) - 12:18, 15 July 2013
  • ADVANCE D3.2 Language extension
    [[Category:ADVANCE D3.2 Deliverable]]
    4 KB (642 words) - 08:33, 29 June 2012
  • ADVANCE D3.2 Model Checking
    [[Category:ADVANCE D3.2 Deliverable]]
    11 KB (1,711 words) - 09:47, 26 June 2012
  • ADVANCE D3.3 Language extension
    [[Category:ADVANCE D3.3 Deliverable]]
    4 KB (648 words) - 14:52, 7 October 2013
  • ADVANCE D3.3 Model Checking
    ...evaluation. We think that these improvements are also valuable within the ADVANCE project. [[Category:ADVANCE D3.3 Deliverable]]
    6 KB (1,016 words) - 10:41, 23 September 2013
  • ADVANCE D3.3 Revised Roadmap
    ...2 expressed their tooling needs to support the case studies. Consequently, ADVANCE partners then agreed to revise together the roadmap which appears in the de ...oling is a continuous duty which has to be carried on until the end of the ADVANCE project. Note that this issue will also be partially addressed by the plann
    4 KB (677 words) - 16:41, 2 December 2013
  • ADVANCE D3.2 General Platform Maintenance
    ...ntenance performed on the Rodin toolset within the first ten months of the ADVANCE project. As the maintenance is a task that concerns the whole toolset, and ...ed plug-in which will be developed and improved to support the aims of the ADVANCE project. UML-B was redeveloped during the DEPLOY project to provide closer
    20 KB (3,030 words) - 13:18, 18 July 2012
  • ADVANCE D3.3 General Platform Maintenance
    ...l maintenance performed on the Rodin toolset within the second year of the ADVANCE project. As the maintenance is a task that concerns the whole toolset, and During the second period of the ADVANCE project, the following versions of the Rodin platform have been released:
    16 KB (2,554 words) - 14:05, 8 October 2013
  • ADVANCE D3.2 Improvement of automated proof
    From the core platform point of view, and within the ten first month of ADVANCE, it consisted into two tasks: the addition of rewriting and inference rules ...when reasoning on linear arithmetic. It is maintained in the time frame of ADVANCE, and increases the rate of automatically discharged proof obligations.
    4 KB (596 words) - 13:21, 18 July 2012
  • ADVANCE D3.2 Model Composition and Decomposition
    [[Category:ADVANCE D3.2 Deliverable]]
    6 KB (891 words) - 17:21, 11 December 2012
  • ADVANCE D3.3 Improvement of automated proof
    During the second period of the ADVANCE project, all these three kinds of activities have been performed. At the beginning of the ADVANCE project, an initial version of the ''SMT solvers'' plug-in was available.
    7 KB (1,145 words) - 10:05, 8 October 2013
  • ADVANCE D3.3 Method documentation and tutorials
    [[Category:ADVANCE D3.3 Deliverable]]
    189 bytes (16 words) - 13:35, 15 July 2013
  • ADVANCE D3.3 Model Composition and Decomposition
    [[Category:ADVANCE D3.3 Deliverable]]
    5 KB (739 words) - 10:48, 23 September 2013

Page text matches

  • ADVANCE Delivrable D3.3
    #REDIRECT [[ADVANCE Deliverable D3.3]]
    38 bytes (4 words) - 12:18, 15 July 2013
  • ADVANCE D3.2 Introduction
    ...r plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable. ...ols for Model Construction and Proof'', during the first ten months of the ADVANCE project (Oct 2011 - Jul 2011), and aims to let the reader get a glimpse of
    2 KB (371 words) - 16:27, 13 July 2012
  • ADVANCE D3.3 Method documentation and tutorials
    [[Category:ADVANCE D3.3 Deliverable]]
    189 bytes (16 words) - 13:35, 15 July 2013
  • ADVANCE D3.3 Introduction
    ...r plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable. ...Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader understand the
    2 KB (325 words) - 17:32, 29 November 2013
  • ADVANCE D3.2 Improvement of automated proof
    From the core platform point of view, and within the ten first month of ADVANCE, it consisted into two tasks: the addition of rewriting and inference rules ...when reasoning on linear arithmetic. It is maintained in the time frame of ADVANCE, and increases the rate of automatically discharged proof obligations.
    4 KB (596 words) - 13:21, 18 July 2012
  • Industrial Projects
    === ADVANCE EU Project === ...verification and simulation-based validation of cyber-physical systems. In ADVANCE, Rodin is being further strengthened and augmented with novel approaches to
    5 KB (718 words) - 11:40, 23 October 2015
  • ADVANCE Deliverable D3.3
    ...is to give a common structure and guidelines to collaboratively build the ADVANCE Deliverable D3.3 (Methods and tools for model construction and proof II) wh * ADVANCE and Rodin shall be typed this way.
    6 KB (830 words) - 13:21, 7 October 2013
  • ADVANCE D3.3 Revised Roadmap
    ...2 expressed their tooling needs to support the case studies. Consequently, ADVANCE partners then agreed to revise together the roadmap which appears in the de ...oling is a continuous duty which has to be carried on until the end of the ADVANCE project. Note that this issue will also be partially addressed by the plann
    4 KB (677 words) - 16:41, 2 December 2013
  • ADVANCE D3.3 Improvement of automated proof
    During the second period of the ADVANCE project, all these three kinds of activities have been performed. At the beginning of the ADVANCE project, an initial version of the ''SMT solvers'' plug-in was available.
    7 KB (1,145 words) - 10:05, 8 October 2013
  • ADVANCE D3.3 Model Checking
    ...evaluation. We think that these improvements are also valuable within the ADVANCE project. [[Category:ADVANCE D3.3 Deliverable]]
    6 KB (1,016 words) - 10:41, 23 September 2013
  • ADVANCE D3.3 General Platform Maintenance
    ...l maintenance performed on the Rodin toolset within the second year of the ADVANCE project. As the maintenance is a task that concerns the whole toolset, and During the second period of the ADVANCE project, the following versions of the Rodin platform have been released:
    16 KB (2,554 words) - 14:05, 8 October 2013
  • ADVANCE D3.2 General Platform Maintenance
    ...ntenance performed on the Rodin toolset within the first ten months of the ADVANCE project. As the maintenance is a task that concerns the whole toolset, and ...ed plug-in which will be developed and improved to support the aims of the ADVANCE project. UML-B was redeveloped during the DEPLOY project to provide closer
    20 KB (3,030 words) - 13:18, 18 July 2012
  • SMT Plug-in Performance
    ...the [http://deploy-eprints.ecs.soton.ac.uk/view/type/rodin=5Farchive.html Advance/Deploy Repository].
    4 KB (652 words) - 08:48, 6 June 2014
  • ADVANCE D3.3 Model Composition and Decomposition
    [[Category:ADVANCE D3.3 Deliverable]]
    5 KB (739 words) - 10:48, 23 September 2013
  • ADVANCE D3.2 Language extension
    [[Category:ADVANCE D3.2 Deliverable]]
    4 KB (642 words) - 08:33, 29 June 2012
  • ADVANCE D3.3 Language extension
    [[Category:ADVANCE D3.3 Deliverable]]
    4 KB (648 words) - 14:52, 7 October 2013
  • Tool Development Roadmap
    |Answer questions from ADVANCE partners
    4 KB (584 words) - 09:50, 12 September 2013
  • Rodin Workshop 2013
    The Rodin Workshop is supported by the [http://www.advance-ict.eu FP7 ADVANCE Project [[image:Logo_web.png|128px]] ] and by [http://www.abo.fi Åbo Akade
    4 KB (521 words) - 13:15, 13 June 2013
  • Code Generation Activity
    ...iagrams. We target a particular style of C, which is tailored for use with ADVANCE's Functional Mock-up Interface ([http://eprints.soton.ac.uk/365249/1/rms.pd
    17 KB (2,568 words) - 09:03, 19 October 2015
  • ADVANCE D3.2 Model Composition and Decomposition
    [[Category:ADVANCE D3.2 Deliverable]]
    6 KB (891 words) - 17:21, 11 December 2012
  • Extending the Rodin Database
    ...for getting the Java attribute kind given an unique ID (without knowing in advance the kind as declared via the extension point).
    9 KB (1,207 words) - 15:43, 4 September 2013
  • D23 Pattern Plug-in
    ...an easily loose track. Having a tool checking for possible name clashes in advance can avoid a lot of confusion.
    6 KB (1,034 words) - 14:43, 27 January 2010
  • D45 Model Checking
    ...que is ongoing and will be continued within the project ADVANCE[http://www.advance-ict.eu/].
    7 KB (1,025 words) - 21:35, 20 April 2012
  • Rodin Workshop 2014
    The Rodin Workshop is supported by the [http://www.advance-ict.eu FP7 ADVANCE Project [[image:Logo_web.png|128px]] ].
    8 KB (1,073 words) - 06:13, 24 June 2014
  • Modus Ponens generalized
    ...e initial hypothesis as the number of <math>\lnot</math> can't be known in advance. <br />In addition, predicate <math>\btrue</math> or <math>\bfalse</math> a
    10 KB (1,784 words) - 16:04, 18 March 2014
  • ADVANCE D3.2 Model Checking
    [[Category:ADVANCE D3.2 Deliverable]]
    11 KB (1,711 words) - 09:47, 26 June 2012
  • D45 Scalability
    ...the users and suggests a number of possible solutions. In the FP7 project ADVANCE, a solution will be decided upon and implemented.
    13 KB (1,991 words) - 20:57, 20 April 2012
  • Current Developments
    The following tasks were planned at some stage of the [[Deploy]] or [[Advance]] project.
    12 KB (1,869 words) - 16:35, 18 March 2014
  • D32 Code generation
    ...ing on board any feedback from interested parties. The tool support should advance to the prototype stage, with improvements in the tool's usability in terms
    15 KB (2,298 words) - 15:08, 27 January 2011
  • D45 Prover Enhancement
    ...ions is being extended, the work has been partially carried out within the ADVANCE project and will be continued within that project.
    21 KB (3,334 words) - 21:20, 20 April 2012
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’