RODIN: a three year Project

20 July 2020

The RODIN project (development of an open platform to design systems that tolerate errors) has begun.

The objective of this three year project is to develop the new B specifications and development environment. The industrial partners are: Nokia (Finland), VT Engine Control (UK) and Praxis (UK).
The academic partners are: University of Newcastle (UK), University of Southampton (UK), Aobo (Finland) and ETH Zurich (Switzerland).