Home
formal verification

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/

Categories: