We considered the following three p

We considered the following three practical requirements when we defined the scope of formal verification.They are (a) hard to verify (b) small to handle, and (c) easy to understand

Kết quả (Việt) 1:

Chúng tôi xem xét các yêu cầu thực tế ba sau khi chúng tôi xác định phạm vi của chính thức xác nhận. (A) khó có thể xác minh (b) nhỏ để xử lý, và (c) dễ hiểu

Kết quả (Việt) 2:

Chúng tôi xem xét sau ba yêu cầu thực tế khi chúng ta định nghĩa phạm vi chính thức verification.They được (a) khó để xác minh (b) nhỏ để xử lý, và (c) dễ hiểu