Bộ kỷ yếu truy cập mở LNCS 13964, 13965, 13966 cấu thành kỷ yếu được bình duyệt của Hội nghị Quốc tế lần thứ 35 về Xác minh bằng Máy tính, CAV 2023, được tổ chức tại Paris, Pháp, vào tháng 7 năm 2023. 67 bài báo đầy đủ được trình bày trong kỷ yếu này đã được xem xét kỹ lưỡng và lựa chọn từ 261 bài nộp. Các bài báo được sắp xếp theo các chủ đề như sau: Phần I: Automata và logic; đồng thời; hệ thống mạng vật lý và lai; tổng hợp; Phần II: Quy trình ra quyết định; kiểm tra mô hình; mạng nơ-ron và học máy; Phần II: Hệ thống xác suất; bảo mật và hệ thống lượng tử; xác minh phần mềm.

Abstract:

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

Ngôn ngữ:	eng
Tác giả:	Enea, Constantin (editor) Lal, Akash (editor)
Thông tin nhan đề:	Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
Nhà xuất bản:	Springer Nature
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:	http://creativecommons.org/licenses/by/4.0/
Nguồn gốc:	https://directory.doabooks.org/handle/20.500.12854/112810
Mô tả vật lý:	460
Năm xuất bản:	2023