Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II (Lecture Notes in Computer Science #15055)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2025
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783031787508
- Related ISBNs:
- 9783031787492
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 03/15/25
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- S. Akshay
- Edited by:
- Aina Niemetz
- Edited by:
- Sriram Sankaranarayanan
Reviews
Other Books
- by S. Akshay
- by Aina Niemetz
- by Sriram Sankaranarayanan
- in Nonfiction
- in Computers and Internet