Luận Án Tiến Sĩ Một Số Phương Pháp Kiểm Chứng Tính Đúng Đắn Của Hệ Thời Gian Thực Bằng Thuật Toán

Một Số Phương Pháp Kiểm Chứng Tính Đúng Đắn Của Hệ Thời Gian Thực Bằng Thuật Toán ​

Với những thành công của đặc tả hình thức, kiểm chứng mô hình thời gian thực đã đóng góp nhiều phương pháp, thuật toán, cấu trúc dữ liệu và trên cơ sở đó cung cấp nhiều bộ công cụ kiểm chứng mô hình cho phép kiểm tra tự động tính đúng đắn của hệ thống. Tuy nhiên cho đến hiện nay, các thuật toán phục vụ kiểm chứng tính chất thời khoảng vẫn còn rời rạc và hạn chế, chủ yếu chỉ đối với các lớp con của ôtômat thời gian và các công thức khoảng được xét với ngữ nghĩa thu hẹp. Từ đó, luận án này đặt vấn đề quan sát và thiết kế các thuật toán kiểm chứng với hệ thống mở rộng hơn và các tính chất thời khoảng trong ngữ nghĩa tổng quát của nó.

• Luận văn thạc sĩ Toán học
• Chuyên ngành Đảm bảo Toán học cho Máy tính và Hệ thống tính toán
• Người hướng dẫn khoa học: TS. Đặng Văn Hưng - PGS. TS. Đinh Mạnh Tường
• Tác giả: Phạm Hồng Thái
• Số trang: 129
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2005

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1007715&sp=T&sp=3&suite=def
http://sachviet.edu.vn/forums/dvd-ebook-luan-van.117/
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1