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).
Item Number
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