Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

• Tác giả: Deepak D'Souza, K Narayan Kumar
• ISBN-13: 978-3319681672
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Mô tả vật lý: XIX, 482 p. 106 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 329608
• Chủ đề: 1. Compilers (Computer programs); 2. Computer engineering; 3. Computer networks ; 4. Computers; 5. Software engineering

Tóm tắt

 This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis
  model checking and temporal logics
  neural networks
  learning and invariant synthesis
  and hybrid systems and control.