Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part I

Abstract

Cuốn sách tập trung nội dung của Hội nghị quốc tế lần thứ 24 về Công cụ và thuật toán để xây dựng và phân tích hệ thống, TACAS 2018, diễn ra tại Thessaloniki, Hy Lạp, vào tháng 4 năm 2018, đượ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 2018.Tổng cộng có 43 bài viết đầy đủ và 11 bài viết ngắn được trình bày trong các tập này đã được xem xét và lựa chọn cẩn thận từ 154 bài đã nộp. Các bài viết được tổ chức thành các phần chuyên đề như sau: Phần I: chứng minh định lý; SAT và SMT tôi; xác minh suy diễn; xác minh và tối ưu hóa phần mềm; kiểm tra mô hình; và học máy. Phần II: hệ thống đồng thời và phân tán; SAT và SMT II; hệ thống an ninh và phản ứng; phân tích chương trình tĩnh và động; hệ thống lai và ngẫu nhiên; logic thời gian và phép tính mu; Cuộc thi Xác minh phần mềm lần thứ 7 – SV-COMP.