Springer Nature Proceedings Computer Science 2 - Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Langue: Anglais
Résumé
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.
Spécifications produit
Contenu
Options de lecture
Informations sur le fabricant
Autres spécifications
EAN
Sécurité des produits
Vous trouverez cet article :
Des documents
Commentaires
Choisissez la version souhaitée
Ebook utilisable dès son achat
Les ebooks offrent plein d'avantages
Garantie légale via bol
Service client 24h/24
Paiement sécurisé
- Vous ne pouvez pas annuler ou retourner des éléments téléchargés. Pour les produits qui ne sont pas encore parus, vous pouvez annuler jusqu'à la date de publication.
