Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings. Part I

Abstract

Truy cập mở tập 2 này cấu thành từ Hội nghị quốc tế lần thứ 27 về Công cụ và thuật toán để xây dựng và phân tích hệ thống, TACAS 2021, được tổ chức từ ngày 27 tháng 3 đến ngày 1 tháng 4 năm 2021, như một phần của Hội nghị chung Châu Âu về Lý thuyết và Thực hành Phần mềm, ETAPS 2021. Hội nghị dự kiến ​​​​diễn ra tại Luxembourg và chuyển sang hình thức trực tuyến do đại dịch COVID-19. Tổng số 41 bài đầy đủ được trình bày trong kỷ yếu đã được xem xét và lựa chọn kỹ lưỡng từ 141 bài nộp. Tập này còn có 7 tài liệu công cụ; 6 bài Demo công cụ, 9 bài thi SV-Comp. Các bài viết được tổ chức thành các phần chuyên đề như sau: Phần I: Lý thuyết trò chơi; Xác minh SMT; Xác suất; Hệ thống tính giờ; Mạng lưới thần kinh; Phân tích truyền thông mạng. Phần II: Kỹ thuật xác minh (không phải SMT); Nghiên cứu điển hình; Tạo/xác thực bằng chứng; Giấy tờ công cụ; Giấy giới thiệu công cụ; Giấy tờ cuộc thi công cụ SV-Comp.