Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part II

Thông tin tài liệu

Nhan đề :	Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part II
Người chỉnh sửa::	Alexandra Silva, K. Rustan M. Leino
Từ khoá :	Khoa học máy tính; Phần mềm máy tính; Xác thực; Hội nghị
Năm xuất bản :	2021
Nhà xuất bản :	Springer Cham
Tóm tắt :	Bộ tài liệu hai tập truy cập mở LNCS 12759 và 12760 này cấu thành từ kỷ yếu của hội nghị quốc tế lần thứ 33 về Xác minh có sự hỗ trợ của máy tính, CAV 2021, được tổ chức trực tuyến vào tháng 7 năm 2021. Có 63 bài báo đầy đủ được trình bày cùng với 16 bài báo công cụ và 5 bài báo được mời đã được xem xét cẩn thận được xem xét và lựa chọn từ 290 bài đã nộp. Các bài báo được tổ chức theo các phần chuyên đề sau: Phần I: các bài báo được mời; xác minh AI; tương tranh và blockchain; hệ thống lai và vật lý mạng; bảo vệ; và tổng hợp. Phần II: độ phức tạp và sự kết thúc; thủ tục và người giải quyết quyết định; kiểm tra phần cứng và mô hình; cơ sở logic; và xác minh phần mềm.
Mô tả:	Ebook miễn phí tại trang https://link.springer.com
URI:	http://dlib.hust.edu.vn/handle/HUST/25385
Liên kết tài liệu gốc:	https://link.springer.com/book/10.1007/978-3-030-81688-9
ISBN :	978-3-030-81688-9
Trong bộ sưu tập:	OER - Công nghệ thông tin