ホーア論理
公理的意味論
の立場でプログラムの正当性について厳密に
推論
するために
第一階述語論理
を拡張した形式論理の言語を言う。
https://ja.wikipedia.org/wiki/ホーア論理