1 option
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I / edited by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan.
Springer Nature - Springer Computer Science (R0) eBooks 2025 English International Available online
View online- Format:
- Book
- Author/Creator:
- Akshay, S.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 15054
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer engineering.
- Computer networks.
- Artificial intelligence.
- Computers.
- Computer science.
- Software Engineering.
- Computer Engineering and Networks.
- Artificial Intelligence.
- Computer Hardware.
- Theory of Computation.
- Local Subjects:
- Software Engineering.
- Computer Engineering and Networks.
- Artificial Intelligence.
- Computer Hardware.
- Theory of Computation.
- Physical Description:
- 1 online resource (605 pages)
- Edition:
- 1st ed. 2025.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
- 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. .
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783031787096
- 3031787099
- OCLC:
- 1496394464
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.