Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Published on 21. October 2023
XVI, 446 pages
978-3-031-45329-8 (ISBN)
Description
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.
More details
Series
Edition
1st ed. 2023
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XVI, 446 p. 85 illus., 47 illus. in color.
File size
12,20 MB
ISBN-13
978-3-031-45329-8 (9783031453298)
DOI
10.1007/978-3-031-45329-8
Schweitzer Classification
Other editions
Additional editions
Étienne André | Jun Sun
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Book
10/2023
Springer
€85.59
Shipment within 15-20 days
Content
Temporal logics.- Data structures and heuristics.- Verification of programs and hardware.- Tool papers.
