In fact, we would like to claim tha

In fact, we would like to claim that the system has the desired property regardless of how the nondeterministic choices are resolved.

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

Trong thực tế, chúng tôi xin tuyên bố rằng hệ thống có tính chất mong muốn bất kể như thế nào nondeterministic sự lựa chọn được giải quyết.

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

Trong thực tế, chúng tôi muốn khẳng định rằng hệ thống có các tài sản mong muốn bất kể như thế nào lựa chọn toán không đơn được giải quyết.