Software Fault Tolerance Techniques and Implementation phần 10

Đầu vào biến thể Thiết lập trạng thái = NIL Nhận kết quả biến thể, R, và lòng khoan dung, một ngẫu nhiên chọn một đầu ra biến thể, x Xây dựng tính khả thi thiết lập FS = {x, ri ∈ R   x - ri  ≤ A, i = 1, ..., n} là tính khả thi thiết lập có sản phẩm nào? Không Có Thiết lập trạng thái = NO KẾT QUẢ ĐÚNG (ngoại lệ) chính thức đa số cử tri