formal verification

act of proving or disproving the correctness of intended algorithms

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

ক্যাটাগরি:

verification