Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán

Trong chương này chúng tôi trình bày phương pháp kiểm chứng tính thỏa của lưới ôtômat thời gian thực hoạt động đồng bộ đối với công thức khoảng LDI, dựa trên việc giải các bài toán qui[r]