/Rodin-Demos

📁Formal modelling and analysis demos in using Event-B method on Rodin platform.

MIT LicenseMIT

No issues in this repository yet.