Buy Me a Coffee at ko-fi.com

Formal verification

act of proving or disproving the correctness of intended algorithms

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