|
Books > Computing & IT > Computer communications & networking
|
Buy Now
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings (Paperback, 1st ed. 2021)
Loot Price: R2,276
Discovery Miles 22 760
|
|
|
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Lecture Notes in Computer Science, 12971
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 19th
International Symposium on Automated Technology for Verification
and Analysis, ATVA 2021, held in Gold Coast, Australia in October
2021. 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 19 regular papers
presented together with 4 tool papers and 1 invited paper were
carefully reviewed and selected from 75 submissions. The papers are
divided into the following topical sub-headings: Automata Theory;
Machine learning for Formal Methods; Theorem Proving and Tools;
Model Checking; Probabilistic Analysis; Software and Hardware
Verification; System Synthesis and Approximation; and Verification
of Machine Learning.
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!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
