同値性

プログラムの検証では、異なる実装であっても同値性が保たれているかを確認することが重要だ。

この二つの命題の同値性は、論理学の基本的な定理によって証明できる。

システム移行後も、データの同値性を確認するために厳密なテストが実施された。