Difference between revisions of "Tool Development Roadmap"

From Event-B
Jump to navigationJump to search
imported>Nicolas
(Created page with "File:ADVANCE_Tool_Roadmap.png")
 
imported>Nicolas
m
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

ADVANCE Tool Roadmap.png

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
  • (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
Retrieved from ‘https://wiki.event-b.org/index.php?title=Tool_Development_Roadmap&oldid=10402’