Version 20180922
Lecture: Program verification with SPARK
When your code must not fail
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.
Info
Day:
2018-09-22
Start time:
15:00
Duration:
00:30
Room:
Großer Saal
Track:
Alles
Language:
en
Links:
Files
Feedback
Click here to let us know how you liked this event.
Concurrent Events
Speakers
 |
Johannes Kliemann |