RODIN: a three year Project

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).