Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Armin Biere, David Parker

Ngôn ngữ: eng

ISBN-13: 978-3030451905

Ký hiệu phân loại:

Thông tin xuất bản: Cham Springer Nature 2020

Mô tả vật lý: 1 electronic resource (501 p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 238305

 This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification
  SAT and SMT
  Timed and Dynamical Systems
  Verifying Concurrent Systems
  Probabilistic Systems
  Model Checking and Reachability
  and Timed and Probabilistic Systems. Part II: Bisimulation
  Verification and Efficiency
  Logic and Proof
  Tools and Case Studies
  Games and Automata
  and SV-COMP 2020.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH