Omslagsbillede

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected...

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Institution som forfatter: SpringerLink (Online service)
Andre forfattere: Akshay, S. (Editor), Niemetz, Aina (Editor), Sankaranarayanan, Sriram (Editor)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Udgivelse:1st ed. 2025.
Serier:Lecture Notes in Computer Science, 15054
Fag:
Software engineering.
Computer engineering.
Computer networks .
Artificial intelligence.
Computers.
Computer science.
Software Engineering.
Computer Engineering and Networks.
Artificial Intelligence.
Computer Hardware.
Theory of Computation.
Online adgang:https://doi.org/10.1007/978-3-031-78709-6
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Summary:The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. .
Fysisk beskrivelse:XX, 304 p. 64 illus., 39 illus. in color. online resource.
ISBN:9783031787096
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-78709-6

Lignende værker