Event-B Formalisation

I have tried to formalise the natural language requirements into an Event-B model. It is not necessarily complete, and may not be fully in line with the natural language description. But it is a starting point for a discussion. [Read More]
Tags: general

Challenge start

At the https://www.key-project.org/key-symposium-2019/ (Manigod, France), the VerifyThis Challenge has been announced. [Read More]
Tags: general