New pages
From Event-B
Jump to navigationJump to search
- 11:39, 17 December 2025 Rodin Workshop 2026 (hist | edit) [2,517 bytes] Asieh (talk | contribs) (Created page with " ==13th Rodin User and Developer Workshop== The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan Event-B is a formal method for system-level modelling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B that provides effective support for modelling and automated proof. The platform is open source and is further extendable with plug-ins. A range of plug-ins have already been developed. The 13th Rodin workshop will be colloc...")
