Untersuchen, wie probabilistische Hypereigenschaften die Programmsicherheit verbessern können.
― 5 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Untersuchen, wie probabilistische Hypereigenschaften die Programmsicherheit verbessern können.
― 5 min Lesedauer