Hoar-Kalkül,verifikation&schleifeninvariante?

[Killerkautz]

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 wirklich besprochen???



Bye Bye

Der Andy 1. Semester!!

 

[bygones]

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

noe - wir Programmierer verifizieren unsere Programme in dem wir sie einfach laufen lassen

 

[Ilja]

richtig ^^

verifizieren müssen nur theoretiker!

<- *informatik studiert hat*

falls du später wirklich als Informatiker arbeiten wirst, kommst du nicht zum programmieren, sondern mußt dich eher mit dem invarianten-schiss beschäftigen!
Das Programmieren übernehmen die Anwendungsentwickler

 

[Killerkautz]

gute antworten!

Trotzdem brauch ich infos, tips ........

Ich bin nämlich gerade im ersten semester (werkstoffinformatik, kennt keine sau aber ok programmierung steht aufm plan) und werde sowas in der klausur mache müssen

 

[byte]

Hm, was Du nun genau wissen willst, habe ich nicht verstanden. Die Definition des Hoare Kalküls und der Prüfung auf totale Korrektheit steht bei Wikipedia (ganz unten). Wenn Du nicht weisst, wie man in Java Zusicherungen machen kann, dann such mal nach assert.