Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

• Tác giả: Vijay Ganesh, Zhe Hou, SpringerLink (Online service)
• ISBN-13: 978-3030888855
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2021.
• Mô tả vật lý: XV, 382 p. 103 illus., 49 illus. in color. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 333382
• Chủ đề: 1. Artificial intelligence; 2. Computer engineering; 3. Computer networks ; 4. Computers; 5. Software engineering

Tóm tắt

 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.