実験的観測、ネロード同値、ホーアトリプル、ソフトウェアテスティングの基礎理論

実験的観測による値を記録することと、それらの実験的観測値を比較することがソフトウェアテスティングで使える基本手段。

メイヤーオートマトンにおけるネロード同値を主張する命題はホーアトリプルで書けるだろう。