Tools and Software

• Formal Modelling of Cruise Control System Using Event-B and Rodin: open-sourced implementations at: https://github.com/sinapredut/eBike and https://github.com/sinapredut/eBikeiUMLvar_v2