Guaranteed Verification of Dynamic Systems

Công việc này giới thiệu một phương pháp xác minh và đặc tả mới cho các hệ thống động. Phương pháp được giới thiệu có thể cung cấp kết quả không có lỗi loại II theo định nghĩa, tức là không có lỗi ẩn trong kết quả xác minh. Cách tiếp cận này dựa trên số học khoảng Kaucher để đưa phép đo theo nghĩa sai số giới hạn.

Xem thêm