University of Insubria



Related Projects

Correctness by Construction
01/01/2014 - 31/12/2017

As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important. Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option!

Correct by construction programming ...

Last updated on 2017-22-03 at 06:46