2
Trace Equivalence vs LTL Equivalence
Tôi đang tìm kiếm một ví dụ dễ dàng về hai hệ thống chuyển tiếp tương đương LTL, nhưng không theo dõi tương đương. Tôi đã đọc bằng chứng về Trace Equivalence tốt hơn LTL Equivalence trong cuốn sách "Nguyên tắc kiểm tra mô hình" (Baier / Katoen) nhưng tôi …