Korrektheitsbeweise von Klassen und Schleifen
Korrektheitsbeweise Um einen Programm-Code auf Korrektheit zu prüfen, gibt es die sogenannten Korrektheitsbeweise. Diese unterteilen sich in Schleifeninvarianten und in
WeiterlesenKorrektheitsbeweise Um einen Programm-Code auf Korrektheit zu prüfen, gibt es die sogenannten Korrektheitsbeweise. Diese unterteilen sich in Schleifeninvarianten und in
Weiterlesen