This formalization makes use of particular notions of simulation and bisimulation in order to compare the executions of a system that exhibit faults with executions where no faults occur a formal characterization
Formalization này làm cho sử dụng của các khái niệm đặc biệt của mô phỏng và bisimulation để so sánh các vụ xử tử của một hệ thống mà triển lãm lỗi với xử tử mà không có lỗi xảy ra một đặc tính chính thức
Chính thức hóa điều này làm cho việc sử dụng các khái niệm đặc biệt của mô phỏng và bisimulation để so sánh sự xử tử của một hệ thống mà hiện lỗi với hành mà không có lỗi xảy ra một sự mô tả chính thức