Automated Technology for Verificati - E-book

eBook

Automated Technology For Verification And Analysis - ENG

21st International Symposium, Atva 2023, Singapore, October 24â€“27, 2023, Proceedings, Part I

eBook

$1,800.00

Disponible

Información adicional
Sinopsis

ISBN:	9783031453298
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Inteligencia artificial y semántica
Año de publicación:	2023-10-21

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.

eBooks