Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Published on 22. October 2023
Book
Paperback/Softback
XVI, 446 pages
978-3-031-45328-1 (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
Target group
Professional and scholarly
Illustrations
38 s/w Abbildungen, 47 farbige Abbildungen
XVI, 446 p. 85 illus., 47 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 25 mm
Weight
698 gr
ISBN-13
978-3-031-45328-1 (9783031453281)
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
E-Book
10/2023
Springer
€85.59
Available for download
Content
Temporal logics.- Data structures and heuristics.- Verification of programs and hardware.- Tool papers.