Program verification with SPARK

When your code must not fail

Johannes Kliemann

Playlists: 'DS2018' videos starting here / audio / related events

An introduction on SPARK, a programming language specifically designed for high reliability and used in safety critical areas such as avionics or railway signaling or in high security applications such as the Muen micro kernel or the WooKey, a secure USB mass storage device.

Related

Download

Embed

Share:

Tags