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