|
Books > Computing & IT > Computer communications & networking
|
Buy Now
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (Paperback, 1st ed. 2022)
Loot Price: R2,345
Discovery Miles 23 450
|
|
|
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (Paperback, 1st ed. 2022)
Series: Lecture Notes in Computer Science, 13505
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 20th
International Symposium on Automated Technology for Verification
and Analysis, ATVA 2022, held in Beiging, China in October 2022.
The symposium is dedicated to promoting research in theoretical and
practical aspects of automated analysis, verification and synthesis
by providing an international venue for the researchers to present
new results. The 21 regular papers presented together with 5 tool
papers and 1 invited paper were carefully reviewed and selected
from 81 submissions.The papers are divided into the following
topical sub-headings: reinforcement learning; program analysis and
verification; smt and verification; automata and applications;
active learning; probabilistic and stochastic systems; synthesis
and repair; and verification of neural networks.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
