Amazon cover image
Image from Amazon.com

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings. Part II / S. Akshay, Aina Niemetz, Sriram Sankaranarayanan, editors.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 15055.Publication details: Cham : Springer, 2025.Description: 1 online resource (507 p.)ISBN:
  • 9783031787508
  • 3031787501
Other title:
  • ATVA 2024
Subject(s): Additional physical formats: Print version:: Automated Technology for Verification and AnalysisDDC classification:
  • 004.01/5113 23/eng/20250219
LOC classification:
  • QA76.9.A96
Online resources: Summary: 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. .
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

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. .

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed February 19, 2025).

Powered by Koha