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

Abstract

Cuốn sách truy cập mở gồm 3 tập LNCS 14570-14573 được tập hợp từ hội nghị quốc tế lần thứ 30 về các công cụ và thuật toán để xây dựng và phân tích hệ thống, TACAS 2024, được tổ chứ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 2024, diễn ra từ ngày 6 đến ngày 11 tháng 4 năm 2024, tại Luxembourg. 53 bài báo đầy đủ và 16 bài đóng góp ngắn của SVComp được đưa vào quá trình tố tụng này đã được xem xét và lựa chọn cẩn thận từ 159 bài nộp. Chúng được tổ chức thành các phần chuyên đề như sau: Phần I: Giải quyết STA và SMT; tổng hợp; logic và khả năng quyết định; phân tích và chứng minh chương trình; kiểm tra bằng chứng; Phần II: Kiểm tra mô hình; máy tự động và học tập; xác minh phần mềm; hệ thống xác suất; mô phỏng; Phần III: Mạng lưới thần kinh; kiểm tra và xác minh; Trò chơi; đồng thời; SV-Comp 2024