Liên hệ
Tiếng Việt
Tiếng Anh
Thứ năm, 11/06/2026
Tools and Algorithms for the Construction and Analysis of Systems. 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedi
Cập nhật vào: Chủ nhật - 21/09/2025 23:30
Nhan đề chính: Tools and Algorithms for the Construction and Analysis of Systems. 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I
Nhan đề dịch: Công cụ và thuật toán để xây dựng và phân tích hệ thống. Hội nghị quốc tế lần thứ 31, TACAS 2025, được tổ chức như một phần của Hội nghị chung quốc tế về lý thuyết và thực hành phần mềm, ETAPS 2025, Hamilton, ON, Canada, ngày 3–8 tháng 5 năm 2025, Biên bản báo cáo, Phần I
Tác giả: Arie Gurfinkel, Marijn Heule
Nhà xuất bản: Springer Nature
Năm xuất bản: 2025
Số trang: 346 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-031-90643-5
SpringerLink
Lời giới thiệu: Cuốn sách là tuyển tập các công trình nghiên cứu được trình bày tại Hội nghị quốc tế TACAS 2025, một trong những diễn đàn học thuật uy tín hàng đầu thế giới về công cụ và thuật toán phục vụ xây dựng và phân tích hệ thống phần mềm và phần cứng. Nội dung cuốn sách tập trung giới thiệu những tiến bộ mới nhất trong lĩnh vực xác minh hình thức, kiểm chứng mô hình, phân tích chương trình, tổng hợp hệ thống, và các phương pháp tính toán tự động, đồng thời làm rõ vai trò của các công cụ và kỹ thuật thuật toán trong việc đảm bảo độ tin cậy, tính an toàn và hiệu quả của hệ thống phức tạp. Tác phẩm cũng phản ánh xu hướng phát triển liên ngành, kết nối giữa lý thuyết và thực tiễn, đặc biệt là trong bối cảnh trí tuệ nhân tạo, an ninh mạng, và hệ thống phân tán ngày càng mở rộng phạm vi ứng dụng. Mục đích của cuốn sách là cung cấp tài liệu học thuật giá trị cho cộng đồng nghiên cứu, giúp chia sẻ ý tưởng, kết quả nghiên cứu và thúc đẩy hợp tác quốc tế trong lĩnh vực công cụ và thuật toán cho hệ thống. Bạn đọc mục tiêu của cuốn sách bao gồm các nhà nghiên cứu, giảng viên, sinh viên cao học chuyên ngành khoa học máy tính, kỹ sư phần mềm, chuyên gia công nghệ, cũng như các nhà phát triển hệ thống quan tâm đến việc ứng dụng lý thuyết tính toán vào các giải pháp thực tiễn nhằm nâng cao độ tin cậy và hiệu năng.
Từ khóa: Công cụ. Thuật toán. Phân tích hệ thống. Phần mềm. Phần cứng. Trí tuệ nhân tạo. Tài liệu hội nghị.
Nội dung của cuốn sách bao gồm những phần sau:
Về tính ổn định trong bộ lan truyền xảy ra trước cho các chương trình đồng thời (Nghiên cứu khả năng tái tạo)
Đặc tả suy ra sai sót cho các chương trình hướng đối tượng
Các phương pháp Heuristic hiệu năng cho kiểm tra khả năng thực hiện GR(1) và các phân tích liên quan
Giám sát tính công bằng thuật toán dựa trên luồng
ATP và viết lại
Tăng cường khởi tạo dựa trên mô hình với liệt kê nhanh
Pantograph: Giao diện tương tác máy-máy cho chứng minh định lý nâng cao, suy luận cấp cao và trích xuất dữ liệu trong Lean 4
Phân tích tự động các hệ thống viết lại có ràng buộc Logic sử dụng Crest
Kiểm tra mô hình thống kê hợp lý cho xác suất và phần thưởng kỳ vọng
Tạo bằng chứng hiệu quả cho kiểm tra mô hình giải tích Modal
Loại bỏ mã thông báo trong kiểm tra mô hình của mạng Petri
SemML: Nâng cao tổng hợp LTL lý thuyết Automata với học máy
Kiểm chứng chính thức phép biến đổi từ công thức MLTL sang biểu thức chính quy
Học Automata một bộ đếm thời gian thực bằng cách sử dụng nhiều truy vấn đa thức
LydiaSyft: Khung tổng hợp biểu tượng sáng tác cho LTL
