Automated Technology for Verification and Analysis Image close
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Show Hide Adult Content
Automated Technology for Verification and Analysis close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer hardware

Automated Technology for Verification and Analysis

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$203.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $51.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 19-31 July using International Courier

Explore more Programming and Software Engineering

See all products in this series

Integrated Formal Methods Save $31
$135.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Save $90
$135.99
$226.95
On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems
$136.99
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $30
$136.99
$167.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$170.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$146.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems Save $31
$135.99
$167.95
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems Save $22
$134.99
$157.95
Formal Methods for Open Object-Based Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
FM 2009: Formal Methods Save $38
$277.99
$316.95
FM 2009: Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Construction and Evolution of Code Generators
$134.99
Construction and Evolution of Code Generators
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis
$138.99
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$137.99
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
$136.99
Intelligent, Secure, and Dependable Systems in Distributed and Cloud...
Paperback / softback
Available - Usually ships in 3-4 weeks
Hardware and Software: Verification and Testing
$123.99
Hardware and Software: Verification and Testing
Paperback / softback
Available - Usually ships in 3-4 weeks
Secure Transaction Protocol Analysis by Qingfeng Chen
$134.99
Secure Transaction Protocol Analysis
by Qingfeng Chen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Empirical Software Engineering and Verification
$169.99
Empirical Software Engineering and Verification
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
October 14th, 2021
Contributors
  • Edited by Vijay Ganesh
  • Edited by Zhe Hou
Pages
382
Edition
1st ed. 2021
Audience
  • Professional & Vocational
Illustrations
49 Illustrations, color; 54 Illustrations, black and white; XV, 382 p. 103 illus., 49 illus. in color.
ISBN-13
9783030888848
Product ID
35368496

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Artificial intelligence