(LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 48 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: (LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL

(LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL

ĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG dại học công nghẹNGUYỀN KHẮC CHUNGKli.M CHỬNG HỆ THÒNG THÒI GIAN í ì lực BĂNG CÔNG cụ K1KM CHÚNG MÔ HÌNH SALLUẬN VĂN THẠ

(LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SALẠC sĩ C ÔNG NGHẸ THÔNG TINHÀ NỘI, 2015ĐẠI HỌC QUỔC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHẸNGUYỀN KIIẤC cm NGKIÉM c HÚNG HẸ THÔNG THỜI GLVN THỰC BÀNG C ÔNG

cụ KIẺ.M c HỨNG MÔ HÌNH SALNghành : Công nghệ thông tin Chuyên nghành : Kỹ thuật phần mềm Mã số: 6» 4« (»1 03LUẶN VÀN THẠC sĩ CÔNG NGHẸ THÔNG TINNGƯỜ (LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL

I HƯỚNG dấn khoa HỌC: TS. DẠNG VĂN HƯNG ♦ •HÀ NỘI, 20151LỜI CẤM ƠN’Trước tiên tôi xin bây tó lòng biết ơn sâu sac tới TS.Đặng Văn Hưng, giăng viên Bộ

(LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL

môn Công nghệ phan mem - Khoa Công nghệ thông tin - Trường Đại học Công nghệ - ĐHQGHN.Trong thời gian học và làm luận vãn tốt nghiệp, thay đà dành nhi

ĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG dại học công nghẹNGUYỀN KHẮC CHUNGKli.M CHỬNG HỆ THÒNG THÒI GIAN í ì lực BĂNG CÔNG cụ K1KM CHÚNG MÔ HÌNH SALLUẬN VĂN THẠ

(LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SALg quá trình học lập và làm luận V ăn. Các thay cô đà giúp lôi hiêu thau đáo hon lình vực mà minh nghiên cứu đê có thê \ ân dụng nhùng kiên thức đó sào

trong công tác cua minh.Xin cam on bạn bè. đong nghiệp trong còng ty đà lạo mọi điều kiện lol nhai cho tôi trong SUÔI quá trinh học tập và nghiên cứu (LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL

đê hoàn thành lot ban luận sàn toi nghiệp này.Hà nội. tháng 11 nam 20151 lọc viên thực hiệnNguyen Khác Chung2LỜI CAM ĐOANTôi xin cam đoan răng, đây l

(LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL

à kết quá nghiên cứu của tôi trong đó có sự giúp dờ rất lớn của thầy hướng dần. Các nội dung nghiên cứu vả kết quá trong dề tài nảy hoàn toàn trung th

ĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG dại học công nghẹNGUYỀN KHẮC CHUNGKli.M CHỬNG HỆ THÒNG THÒI GIAN í ì lực BĂNG CÔNG cụ K1KM CHÚNG MÔ HÌNH SALLUẬN VĂN THẠ

(LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL1 nãm 2015I lọc viên thực hiệnNguyen Khắc Chung3MỤC LỤCLỜI CAM ƠN...................................................................1Chương l.GIỚI THI

ỆU..........................................................8Chương 2. TÔNG QUAN VÊ KIÊM DUYỆT MÔ HÌNH....................................92.1.Kiểm du (LUẬN văn THẠC sĩ) kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL

yệt mỏ hình (model checking)..................................9

ĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG dại học công nghẹNGUYỀN KHẮC CHUNGKli.M CHỬNG HỆ THÒNG THÒI GIAN í ì lực BĂNG CÔNG cụ K1KM CHÚNG MÔ HÌNH SALLUẬN VĂN THẠ