Es waren mal wieder Datenspuren in Dresden. Wir haben uns dieses Mal mit Johannes unterhalten, der einen Vortrag über Ada, Spark und formale Verifikation gehalten hat.

Links

• https://datenspuren.de/2018/
• https://media.ccc.de/v/DS2018-9332-program_verification_with_spark
• Alle Talks: https://media.ccc.de/c/DS2018
• https://learn.adacore.com
• https://www.adacore.com/download/

Johannes auf Twitter und GitHub