Automated Technology for Verification and Analysis
- S. Akshay
- Aina Niemetz
- Sriram Sankaranarayanan
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹10,347Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹127.2Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Automated Technology for Verification and Analysis is written by S. Akshay and published by Springer Nature. It's available with International Standard Book Number or ISBN identification 3031787501 (ISBN 10) and 9783031787508 (ISBN 13).
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.
