formal verification

act of proving or disproving the correctness of intended algorithms

en-US/ˈfɔɹməl ˌvɛɹifɪˈkeɪʃən/
en-GB/ˈfɔːml ˌvɛɹɪfɪˈkeɪʃən/

カテゴリ：

verification