Tóm tắt nội dung
Bộ hai tập truy cập mở LNCS 10980 và 10981 này tạo thành kỷ yếu được giới thiệu của Hội nghị quốc tế lần thứ 30 về xác minh có sự hỗ trợ của máy tính, CAV 2018, được tổ chức tại Oxford, Vương quốc Anh, vào tháng 7 năm 2018. 52 bài báo đầy đủ và 13 bài báo công cụ được trình bày cùng với 3 bài báo mời và 2 hướng dẫn đã được xem xét và lựa chọn cẩn thận từ 215 bài nộp. Các bài báo bao gồm một loạt các chủ đề và kỹ thuật, từ nền tảng xác minh thuật toán và logic đến các ứng dụng thực tế trong các hệ thống phân tán, nối mạng, vật lý mạng và tự trị. Chúng được tổ chức trong các phần chuyên đề về kiểm tra mô hình, phân tích chương trình sử dụng khối đa diện, tổng hợp, học tập, xác minh thời gian chạy, hệ thống lai và hẹn giờ, công cụ, hệ thống xác suất, phân tích tĩnh, lý thuyết và bảo mật, SAT, SMT và thủ tục quyết định, đồng thời và CPS, phần cứng, ứng dụng công nghiệp.
Abstract:
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)
(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)