(LUẬN văn THẠC sĩ) kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat

➤ 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: 78 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ình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat

(LUẬN văn THẠC sĩ) kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG D U HỌC CÔNG NGHỆNGUYỀN VĂN TRẢIKIÊM CHÚNG HÌNH THÚC C HO HỆ THÔNG TU ONG TRANH SỬ DỤNG NGÔN NGŨ* DẶC TẢ CSP# VÀ C ÔNG

(LUẬN văn THẠC sĩ) kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat cụ PATLUẬN VÀN THẠC sì CÔNG NGHỆ THÔNG TINHà Nội - 2013ĐẠI HỌC QUÓC GIA HÀ NỌI TRƯỜNG DẠI HỌC CÔNG NGHẸNGUYỀN VÁN TRẢIKIÊM CHÚNG HÌNH THỨC CHO HỆ THÓ

NG TƯƠNG TRANH SỨ DỰNG NGÔN NGỮ DÁC TẢ CSP# VÀ CÔNG cụ PATNgành: công nghệ thông linChuyên ngành: công nghệ phân mêmMã số: 60 48 10LUẬN VẤN THẠC sì CÔ (LUẬN văn THẠC sĩ) kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat

NG NGHỆ THÔNG TINNGƯỜI HƯỚNG DẰN khoa HỌC: TS. Nguyễn Trường ThắngHà Nội-20133Mục lụcLời cảm ơn1Lời cam (loan2Mục lục4Danh mục các bảng5Danh mục các h

(LUẬN văn THẠC sĩ) kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat

ình vè6Lời mở (lần71Kiểm chứng mô hình

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG D U HỌC CÔNG NGHỆNGUYỀN VĂN TRẢIKIÊM CHÚNG HÌNH THÚC C HO HỆ THÔNG TU ONG TRANH SỬ DỤNG NGÔN NGŨ* DẶC TẢ CSP# VÀ C ÔNG

(LUẬN văn THẠC sĩ) kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat161.3Mô hình hóa hệ thống .........................................171.3.1 Hệ dịch chuyển (Transition System)......................171.3.2 Mô hình hóa

hệ thống bằng hệ dịch chuyển................211.4Đặc tả hình thức các thuộc tính cùa hệ thống .................231.4.1Các thuộc lính thòi gian luyến (LUẬN văn THẠC sĩ) kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat

lính (Linear-Time Properly) . . 231.4.2Logic thời gian tuyến tính (Linear Temporal Logic)......262Hệ thống tương tranh302.1'lồng quan về hệ tương tran

(LUẬN văn THẠC sĩ) kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ pat

h..................................302.2Mô hình hóa hệ tương Lranh bới hệ dịch chuyển.................32

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG D U HỌC CÔNG NGHỆNGUYỀN VĂN TRẢIKIÊM CHÚNG HÌNH THÚC C HO HỆ THÔNG TU ONG TRANH SỬ DỤNG NGÔN NGŨ* DẶC TẢ CSP# VÀ C ÔNG