最終更新日：2024/08/04
(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.
正解を見る
Hoare logic
編集履歴（0）
元となった辞書の項目
Hoare logic
noun
