model checking based approaches to

model checking based approaches to fault-tolerance provide significant benefits over
other semi-automated or manual formal approaches.

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

Mô hình kiểm tra dựa trên phương pháp tiếp cận để khoan dung lỗi cung cấp significant lợi hơnCác bán tự động hoặc hướng dẫn sử dụng phương pháp chính thức.

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

kiểm tra phương pháp tiếp cận dựa vào khả năng chịu sai mô hình cung cấp trong yếu ts fi cant bene fi trên
phương pháp tiếp cận chính thức bán tự động hoặc bằng tay khác.