Scholarlink

<p>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.</p><p>The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes&#xa0;are organized in the following topical sections:</p><p>Part I:&#xa0;Invited Keynote and Tutorial Papers;&#xa0;Automata and Games;&#xa0;Concurrent and Distributed Systems;&#xa0;Learning for Verification and Synthesis.</p><p>Part II:&#xa0;Synthesis and Runtime Verification;&#xa0;Software Verification and Programming Language Semantics;&#xa0;Automated Reasoning and Verification.&#xa0;</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Automated Technology for Verification and Analysis

  • 会议论文集

  • 发表日期：

    2025年

查看全文

摘要

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.