ADVANCE D3.3 Introduction: Difference between revisions
imported>Nicolas m Fixed date |
imported>Laurent No edit summary |
||
| Line 9: | Line 9: | ||
The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives. | The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives. | ||
The document is divided | The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof, model checking, language extension, model composition and decomposition. | ||
The common structure which is used for each contribution is the following: | The common structure which is used for each contribution is the following: | ||
Revision as of 13:13, 28 August 2013
The ADVANCE D3.3 deliverable is composed of the present document and the Rodin toolset. The considered Rodin toolset consists of the Rodin core platform and the plug-ins created or maintained in the frame of the ADVANCE project. Other plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable.
The Rodin platform can be downloaded from the SourceForge site.[1]
Moreover, the platform includes a collaborative documentation that is collected from two maintained locations:
These locations can be consulted from outside the Rodin tool.
The present document intends to give a relevant overview of the work achieved within the work package 3: Methods and Tools for Model Construction and Proof, during the second period of the ADVANCE project (Sept 2012 - Sept 2013), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives.
The document is divided according to the work package tasks: general platform maintenance, improvement of automated proof, model checking, language extension, model composition and decomposition.
The common structure which is used for each contribution is the following:
- Overview. The involved partners are identified and an overview of the contribution is given.
- Motivations / Decisions. The motivation for each tool extension and improvement are expressed. The decisions (e.g. design decision) are reported.
- Available documentation. Some pointers to the available documentation or related publications are listed.
- Planning. The current status about the topic (as of Sept 2013), and an overview of the future plans are given.
