Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Hoare-Kalkül (http://www.informatikerboard.de/board/thread.php?threadid=1100)
Geschrieben von MeisterPropper am 08.12.2011 um 14:32:
Hoare-Kalkül
Meine Frage:
Hallo,
ich soll eine Aufgabe zum Hoare-Kalkül lösen. Ich habe die Aufgabe und meine versuchte Lösung angehängt. Allerdings bin ich mir sehr unsicher.
Gruß
Meine Ideen:
Siehe Anhang
Geschrieben von Karlito am 12.12.2011 um 20:50:
Hoare Kalkül bin ich leider nicht so fit...
Schau dir mal
j-Algo, da gibt es auch ein Modul, mit welchem man das Hoare-Kalkül beleuchten kann.
VG,
Karlito
Forensoftware: Burning Board, entwickelt von WoltLab GmbH