Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

• Tác giả: Constantin Enea, Akash Lal
• Ngôn ngữ: eng
• ISBN-13: 978-3031377051
• ISBN-13: 978-3031377068
• ISBN: 978-3-031-37706-8
• Thông tin xuất bản: Cham Springer Nature 2023
• Mô tả vật lý: 1 electronic resource (488 p.)
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 374535
• Chủ đề: 1. architecture verification and validation; 2. Algorithms & data structures; 3. Artificial intelligence; 4. Computer networking & communications; 5. Software Engineering

Tóm tắt

 The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic
  concurrency
  cyber-physical and hybrid systems
  synthesis
  Part II: Decision procedures
  model checking
  neural networks and machine learning
  Part II: Probabilistic systems
  security and quantum systems
  software verification.