Source Word
Hoare logic
Noun
countable
uncountable
Japanese Meaning
ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。
（ plural ）
（ plural ）
DiQt
Free
★★★★★★★★★★
