ホーア論理

いくつかの公理からプログラム自体の正しさを検証する