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
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
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