Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
暫譯: 自動化技術於驗證與分析：第18屆國際研討會，ATVA 2020，越南河內，2020年10月19-23日，會議錄
Hung, Dang Van, Sokolsky, Oleg
- 出版商: Springer
- 出版日期: 2020-10-12
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 574
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030591514
- ISBN-13: 9783030591519
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.
The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
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 papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
商品描述(中文翻譯)
本書為第18屆自動化技術驗證與分析國際研討會（ATVA 2020）的經過審核的會議論文集，該會議於2020年10月在越南河內舉行。共提交了75篇論文，最終選出27篇常規論文、5篇工具論文和2篇邀請論文，這些論文經過仔細審查和選擇。
本研討會旨在促進自動化分析、驗證和合成的理論與實踐研究，為研究人員提供一個國際平台以展示新成果。
這些論文的重點包括神經網絡和機器學習；自動機；邏輯；驗證、分析和測試的技術；模型檢查和決策程序；合成；以及隨機化和概率系統。
