... Các giao diện được sử dụng cho mô hình, mô phỏng và xác minh. Đối với cả hai mô phỏng và xác minh giao diện sử dụng máy chủ xác minh. Trong mô phỏng này máy chủ được sử dụng để tính toán các ... Chiểu, người đã hướng dẫn em rất nhiều trong suốt quá trình tìm hiểu nghiên cứu và hoàn thành khóa luận này từ lý thuyết đến ứng dụng. Sự hướng dẫn của thầy đã giúp em có thêm được những hiểu ... báo các biến cục bộ và biến toàn cục. 2 MỤC LỤC LỜI CẢM ƠN 1 L ỜI N ÓI Đ ẦU 5 CHƢƠNG 1: TÌM HIỂU VỀ MODEL CHECKING VÀ LÝ THUYẾT VỀ HỆ THỜI GIAN THỰC 6 1.1 ĐÔI NÉT VỀ MÔ HÌNH KIỂM TRA...