German Hoare-Kalkül Cited by user Tfr.didi on 09 Aug 2013 Der Hoare-Kalkül (auch Hoare-Logik) ist ein formales System, um die Korrektheit von Programmen nachzuweisen.