Samstag, 14. November 2026.
Die Erforschung des Weltraums und die Entwicklung autonomer Systeme erfordern höchste Präzision, Zuverlässigkeit und Sicherheit in der Softwareentwicklung. In diesem Zusammenhang gewinnt die Kombination aus SPARK, einer Programmiersprache mit Formaler Verifikation, und Rust, einer modernen und sicheren Systemsprache, zunehmend an Bedeutung.