Automated Technology for Verification and Analysis: 22nd International Symposium, Atva 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
暫譯: 自動化技術驗證與分析：第22屆國際研討會，ATVA 2024，京都，日本，2024年10月21-25日，會議錄，第一部分

Akshay, S., Niemetz, Aina, Sankaranarayanan, Sriram

Automated Technology for Verification and Analysis: 22nd International Symposium, Atva 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
  • 出版商: Springer
  • 出版日期: 2025-02-01
  • 售價: $5,610
  • 貴賓價: 9.5 折 $5,330
  • 語言: 英文
  • 頁數: 304
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031787080
  • ISBN-13: 9783031787089

    • 海外代購書籍(需單獨結帳)

商品描述

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.

The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:

Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.

Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.

商品描述(中文翻譯)

這兩卷的套書 15054-15055 是第22屆自動化技術驗證與分析國際研討會（ATVA 2024）的經過審核的會議論文集，該會議於2024年10月21日至25日在日本京都舉行。

本卷中呈現的24篇完整論文是從73篇投稿中仔細審核和選出的。這些卷中的主題組織如下：

第一部分：邀請的主題演講和教程論文；自動機與遊戲；並行與分散系統；驗證與合成的學習。

第二部分：合成與執行時驗證；軟體驗證與程式語言語義；自動推理與驗證。

類似商品