By employing variations of standard

By employing variations of standard (bi)simulation algorithms, our characterization enables us to algorithmically check fault-tolerance, i.e., to verify that a system behaves in an acceptable way even under the occurrence of faults

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

Bằng cách sử dụng các biến thể của thuật toán mô phỏng (bi) tiêu chuẩn, đặc tính của chúng tôi cho phép chúng tôi để video kiểm tra lỗi-khoan dung, ví dụ, để xác minh rằng một hệ thống hoạt động một cách chấp nhận được ngay cả dưới sự xuất hiện của lỗi

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

Bằng cách sử dụng các biến thể của tiêu chuẩn (bi) thuật toán mô phỏng, mô tả đặc điểm của chúng tôi cho phép chúng tôi để thuật toán kiểm tra khả năng chịu sai, tức là, để xác minh rằng một hệ thống này hoạt động theo một cách chấp nhận được ngay cả dưới sự xuất hiện của các đứt gãy