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