Tool Development Roadmap: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Nicolas Created page with "File:ADVANCE_Tool_Roadmap.png" |
imported>Nicolas mNo edit summary |
||
| Line 1: | Line 1: | ||
== Task Plan == | |||
[[File:ADVANCE_Tool_Roadmap.png]] | [[File:ADVANCE_Tool_Roadmap.png]] | ||
== Task Status == | |||
{| border="1" | |||
!Task Id | |||
!Title | |||
!Status | |||
|- | |||
|3.2.1 | |||
|Answer questions from ADVANCE partners | |||
| | |||
|- | |||
|3.2.2 | |||
|Process feature requests and platform issues | |||
| | |||
|- | |||
|3.2.3 | |||
|Maintain and evolve model editors | |||
| | |||
|- | |||
|3.2.4 | |||
|Ensure Event-B handbook consistency | |||
| | |||
|- | |||
|3.3.1 | |||
|Implement/improve automated proof tools | |||
| | |||
*(a):enrich SMT support for Event-B mathematical language | |||
*(b):assess SMT solvers effectiveness | |||
|- | |||
|3.3.2 | |||
|Provide export support about provers | |||
| | |||
*(a): Develop specialised prover tactics for case studies | |||
*(b): Add FAQ in handbook with tips on prover tactics | |||
|- | |||
|3.3.3 | |||
|Improve the model checking tools | |||
| | |||
|} | |||
Revision as of 14:45, 5 September 2013
Task Plan
Task Status
| Task Id | Title | Status |
|---|---|---|
| 3.2.1 | Answer questions from ADVANCE partners | |
| 3.2.2 | Process feature requests and platform issues | |
| 3.2.3 | Maintain and evolve model editors | |
| 3.2.4 | Ensure Event-B handbook consistency | |
| 3.3.1 | Implement/improve automated proof tools |
|
| 3.3.2 | Provide export support about provers |
|
| 3.3.3 | Improve the model checking tools |
