In these approaches, temporal logic

In these approaches, temporal logics are employed to capture fault-tolerance properties of reactive systems, and then model checking algorithms are used to automatically verify that these properties hold for a given system.

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

Trong các phương pháp tiếp cận, logic thời gian được sử dụng để nắm bắt tính năng chịu sai sót của hệ thống phản ứng, và sau đó mô thuật toán kiểm tra được sử dụng để tự động xác minh rằng các đặc tính giữ cho một hệ thống.