EPISODE · Sep 21, 2018 · 35 MIN
Program verification with SPARK (DS2018)
from Chaos Computer Club - archive feed · host Johannes Kliemann
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. about this event: /2018/fahrplan/events/9332.html
Embed this episode
Ready to play
Program verification with SPARK (DS2018)
0:00
35:58
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of Chaos Computer Club - archive feed?
This episode is 35 minutes long.
When was this Chaos Computer Club - archive feed episode published?
This episode was published on September 21, 2018.
Can I download this Chaos Computer Club - archive feed episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!