Buy Me a Coffee at ko-fi.com

Formal verification

act of proving or disproving the correctness of intended algorithms

Pronunciation
/ˈfɔrməl ˌvɛrəfəˈkeɪʃən/
/ˈfɔːməl ˌvɛrɪfɪˈkeɪʃən/
Categories
verification