Formal verification là gì?
Noun
Programming
- ★
- ★
- ★
- ★
- ★
Xác minh chính thức
Xác minh chính thức (formal verification) là bạn chứng minh về mặt toán học rằng thuật toán (algorithm) cơ bản là đúng.
Learning English Everyday