Provably safe programming on ARM processors

Speaker: Jamie Ayre, Adacore

Proving the reliability of your software on small boards running ARM processors is possible through the use of the SPARK and Ada programming languages. Here we highlight a number of applications doing just that.

Links to more information: