@uliccc und alle die sich damit auskennen :Verifikation - Tutorial

M

matthpi

0
Hi.

Ich hatte heute ein saublöde Prüfung, in der es um Verifikation ging. Endgültig das Kreuz gebrochen hat es mir bei einer Frage aus dem Bereich der Verifikation imperativer Programme.

Es ging um das Hoare Kalkül und dann um die Konsequenzregeln zur Abschwächung der Zusicherung und zur Verstärkung der Anforderung.

Die Frage hierzu war: Warum wird eigentlich die Zusicherung abgeschwächt und die Anforderung verstärkt? Welches Ziel wird damit verfolgt?

Diese Frage möchte ich gern an Euch weitergeben und um eine Antwort bitten!

Danke matthpi
 
Hi @ll,

was für ein Ausbildung machst du denn genau und wo, welches Bundesland???

"Dumme Frage" hast du's schon mal mit google probiert??
Vielleicht hilft dir das weiter Google, probier mal die erste PDF!!

mfg Shark85
 
Um antworten zu können musst du eingeloggt sein.
Zurück
Oben