Mathematics

Phone: +468162000
Fax: +4686126717
Address:
Roslagsv 101, Kräftriket, hus 5-6

Sweden


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



Researchers


Last updated on 2017-08-05 at 13:55