engl.: Hoare triple
Zeige, dass die Ausführung von A
Abkürzend schreibt man dafür üblicherweise: { P } A { Q }
Zur formalen Verifikation von Hoare-Tripeln benutzt man eine Hoare-Logik oder den WP-Kalkül (siehe GdP).