... 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 ... nó không đáp ứng được các yêu cầu về thời gian. Hệ thống thời gian thực được ứng dụng phổ biến trong rất nhiều lĩnh vực như thương mại, quân đội, y tế, giá o dục, cơ sở hạ tầng… và ngày nay...