Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I

Abstract

Bộ hai tập truy cập mở LNCS 13371 và 13372 này cấu thành thủ từ hội nghị quốc tế lần thứ 34 về Xác minh có sự trợ giúp của máy tính, CAV 2022, được tổ chức tại Haifa, Israel, vào tháng 8 năm 2022.Có 40 bài báo đầy đủ được trình bày cùng với 9 bài viết công cụ và 2 nghiên cứu điển hình đã được xem xét và lựa chọn cẩn thận từ 209 bài nộp. Các bài viết được tổ chức theo các phần chuyên đề sau: Phần I: Giấy mời; phương pháp chính thức cho các chương trình xác suất; phương pháp chính thức cho mạng lưới thần kinh; Xác minh phần mềm và kiểm tra mô hình; siêu tài sản và bảo mật; phương pháp chính thức cho các hệ thống phần cứng, vật lý không gian mạng và hệ thống lai. Phần II: Kỹ thuật xác suất; máy tự động và logic; thủ tục xác minh và quyết định suy luận; học máy; tổng hợp và đồng thời. Đây là một cuốn sách truy cập mở.