Hey leute!
Hab gerade mit programmierung angefangen und muss jetzt verifizieren!
Soll programme mit hilfe der Hoar-Kalküls auf totale korrektheit untersuchen!

Soo und das kann ich leider nicht so wirklich gut

Ich hab so meine probleme die schleifeninvariante zu finde! und generell könnte ich satt und genug infos zum allgeimein vorgehen gebrauchen!

Ich wär euch also über hilfreiche tips, tricks und natürlich auch nützlichen links sehr interessiert!

Ich hab übrigens die such funktion benutz, angeblich wurde soetwas hier allerdings noch nicht besprochen???

Bye Bye
Der Andy 1. Semester!!

[Murray]

Zitat von Killerkautz

Hab gerade mit programmierung angefangen

Klingt nicht so sehr nach Programmierung, sondern nach theoretischer Informatik - das ist ein ziemlich komplexes Thema, dessen Praxisrelevanz (für die kommerzielle Programmierung) manch einer bestreiten würde.

Wenn Du nach Informationen suchst: es heißt Hoare-Kalkül (also mit einem 'e' hinter dem 'r'). Damit kann man sich einige Treffer ergoogeln...

Viel Glück

[sparrow]

Und ein Ansatzpunkt ist dann schon mal wikipedia:
http://de.wikipedia.org/wiki/Hoare-Kalkül