Tool Development Roadmap

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	(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