Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

➤ 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: 66 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ĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯƠNG ĐẠI HỌC C ÔNG NGHẸNGUYỀN THỊ LOANKIÉM ( HUNG TÍNH ĐÚNG ĐÁN HẸ THÒNG TÍNH TOÁN CỬA CHƯƠNG TRÌNH BẢNG KIẺM DUYỆT MÔ HÌ.NH

Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình HNgành: Công nghệ thông tinChuyên ngành: Công nghệ phần mèmMã số: 60 48 10TÓM TÁT LUẬN VÀN THẠC sĩHà Nội-20121-MỤC LỤCLỜI CAM ƠN......................

.’..................................0LỜI CAM ĐOAN.............................Error! Bookmark not defined.MỤC LỤC..................................... Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

........................1DANH MỤCVIẼT TÁT..............................................4DANH MỤCCÁC BÂNG..............................................

Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

5DANH MỤCHÌNH VÈ...............................................6MỜ DÃƯ..............................................................71.Dặt van đề.....

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯƠNG ĐẠI HỌC C ÔNG NGHẸNGUYỀN THỊ LOANKIÉM ( HUNG TÍNH ĐÚNG ĐÁN HẸ THÒNG TÍNH TOÁN CỬA CHƯƠNG TRÌNH BẢNG KIẺM DUYỆT MÔ HÌ.NH

Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình ..............................74.Cấu trúc luận ván..............................................8CHƯƠNG 1: Cơ Sơ LÝ THƯYÉT............................

...............91.1.Khái niệm và ý nghía cua kiêm duyệt mô hình..................91.2.Quy trinh hoạt động cùa kiểm duyệt mô hình..................101. Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

3.Dặc (rưng cua kiềm duyệt mô hình............................111.3.1.Mô hỉnh hóa (Modeling)..................................111.3.2.Thực thi chương

Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

trinh (Running the model checker).......121.3.3.Phân lích (Analysis)....................................121.4. Diem mạnh và diem yen của k'iem duyệt d

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯƠNG ĐẠI HỌC C ÔNG NGHẸNGUYỀN THỊ LOANKIÉM ( HUNG TÍNH ĐÚNG ĐÁN HẸ THÒNG TÍNH TOÁN CỬA CHƯƠNG TRÌNH BẢNG KIẺM DUYỆT MÔ HÌ.NH

Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình ............141.5.1.Logic thời gian ( Temporal Logic).......................141.5.1.1Củ pháp củaLTI,.....................................141.5.1.2Ngừ

nghĩa............................................151.5.1.3.Sự tương dương cúa còng thức 1II....................161.5.1.4.Toán từ WeakUntil - w~....... Luận văn thạc sĩ VNU UET kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

......................161.5.2.Các thuộc tinh cần kiêm chúng...........................17

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯƠNG ĐẠI HỌC C ÔNG NGHẸNGUYỀN THỊ LOANKIÉM ( HUNG TÍNH ĐÚNG ĐÁN HẸ THÒNG TÍNH TOÁN CỬA CHƯƠNG TRÌNH BẢNG KIẺM DUYỆT MÔ HÌ.NH