Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part I / Étienne André, Jun Sun, editors.
ATVA (Symposium) (21st : 2023 : Singapore); André, Etienne, editor.; Sun, Jun (Professor of Information Systems), editor.
2023
QA76.9.A96
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part I / Étienne André, Jun Sun, editors.
Meeting Name ATVA (Symposium) (21st : 2023 : Singapore)
ISBN 9783031453298 (electronic bk.)
3031453298 (electronic bk.)
9783031453281
DOI https://doi.org/10.1007/978-3-031-45329-8
Published Cham : Springer, [2023]
Copyright ©2023
Language English
Description 1 online resource (xvi, 446 pages) : illustrations (some color).
Other Standard Identifiers 10.1007/978-3-031-45329-8 doi
Call Number QA76.9.A96
Dewey Decimal Classification 004.01/5113
Summary 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.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 23, 2023).
Added Author André, Etienne, editor.
Sun, Jun (Professor of Information Systems), editor.
Series Lecture notes in computer science ; 14215. 1611-3349
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Temporal logics
Data structures and heuristics
Verification of programs and hardware
Tool papers.

Browse Subjects

Show more subjects...

Statistics

from
to
Export