Tìm hiểu về Ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực

Abstract

Đồ án trình bày trong ba chương với nội dung mỗi chương như sau: Chương 1: Tìm hiểu về Model checking và lý thuyết hệ thời gian thực (Real timed system). Chương 2 : Tìm hiểu về lý thuyết Otomat thời gian (Timed automata). Chương 3 : Thử nghiệm đặc tả hệ thống.