This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
Epub (Kobo), Epub (Adobe)
Publication Date: 18/10/2023
- ISBN:
- 9783031453328
- 9783031453328
- Category:
- Computer programming / software development
- Format:
- Epub (Kobo), Epub (Adobe)
- Publication Date:
- 18-10-2023
- Language:
- English
- Publisher:
- Springer Nature Switzerland
This item is delivered digitally
Great!
Click on Save to My Library / Lists
Click on Save to My Library / Lists
Select the List you'd like to categorise as, or add your own
Here you can mark if you have read this book, reading it or want to read
Awesome! You added your first item into your Library
Great! The fun begins.
Click on My Library / My Lists and I will take you there
Click on My Library / My Lists and I will take you there
Reviews
Be the first to review Automated Technology for Verification and Analysis.
Share This eBook: