Diskussion:EBuLa

Wie darf man das denn mit dem Beweisen der Sicherheit des Quellcodes zu verstehen? Wir haben im 1. Semester gelernt, wie man furchtbar umständlich die Richtigkeit von 8 Zeilen langen Trivialalgorithmen mit dem Hoare-Kalkül beweisen kann. Wie man die Sicherheit eines komplexen Programms beweisen soll, ist mir völlig schleierhaft. Aber sie scheinen es ja irgendwie geschafft zu haben. btw, der letzte Satz ist irgendwie verkehrtrum, oder? --Head 22:23, 11. Sep 2003 (CEST)