Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II

Abstract

Cuốn sách truy cập mở này cấu thành từ kỷ yếu của hội nghị quốc tế lần thứ 28 về Công cụ và thuật toán xây dựng và phân tích hệ thống - TACAS 2022, được tổ chức từ ngày 2 đến ngày 7 tháng 4 năm 2022 tại Munich, Đức, 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 2022. Có 46 bài báo đầy đủ và 4 bài báo ngắn được trình bày trong tập này đã được xem xét và lựa chọn cẩn thận từ 159 bài đã nộp. Kỷ yếu cũng bao gồm 16 tài liệu công cụ của cuộc thi liên kết SV-Comp và 1 tài liệu bao gồm báo cáo cuộc thi. TACAS là diễn đàn dành cho các nhà nghiên cứu, nhà phát triển và người dùng quan tâm đến các công cụ và thuật toán dựa trên nền tảng chặt chẽ để xây dựng và phân tích hệ thống. Hội thảo nhằm mục đích thu hẹp khoảng cách giữa các cộng đồng khác nhau với mối quan tâm chung này và hỗ trợ họ trong nỗ lực cải thiện tiện ích, độ tin cậy, tính linh hoạt và hiệu quả của các công cụ và thuật toán để xây dựng hệ thống điều khiển bằng máy tính.