Rodin Workshop 2025: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

20 February 2025

  • curprev 11:4211:42, 20 February 2025‎ Asieh talk contribs‎ 1,686 bytes +1,686‎ Created page with " ==12th Rodin User and Developer Workshop== The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany 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 12th Rodin workshop will be co..."
Retrieved from ‘https://wiki.event-b.org/index.php/Rodin_Workshop_2025’