Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Published on 19. October 2023
Book
Paperback/Softback
XV, 330 pages
978-3-031-45331-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
44 s/w Abbildungen, 57 farbige Abbildungen
XV, 330 p. 101 illus., 57 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 19 mm
Weight
528 gr
ISBN-13
978-3-031-45331-1 (9783031453311)
DOI
10.1007/978-3-031-45332-8
Schweitzer Classification
Content
Temporal logics.- Data structures and heuristics.- Verification of programs and hardware.- Tool papers.