Tool Development Roadmap
From Event-B
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.a | enrich SMT support for Event-B mathematical language | |
| 3.3.1.b | assess SMT solvers effectiveness | |
| 3.3.2.a | Develop specialised prover tactics for case studies | |
| 3.3.2.b | Add FAQ in handbook with tips on prover tactics | |
| 3.3.3.a | Develop methods for combining SAT/SMT with ProB | |
| 3.3.3.b | Develop methods for state space compression and state hashing | |
| 3.3.4.a | Develop links between theory plug-in and SMT | |
| 3.3.4.b | develop links between theory plug-in and ProB | |
| 3.3.4.c | Develop links between theory plug-in and user tactics | |
| 3.4.1.a | ||
| 3.4.1.a | ||
| 3.4.1.a | ||
| 3.4.1.a | ||
| 3.4.1.a | ||
| 3.4.1.a | ||
| 3.4.1.a | ||
| 3.4.1.a | ||
| 3.4.1.a |
