Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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

• Tác giả: Armin Biere, David Parker
• Ngôn ngữ: ger
• ISBN-13: 978-3030451905
• Ký hiệu phân loại: 004.0151 Data processing || Computer science
• Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2020
• Mô tả vật lý: XXIII, 501 p. 1 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 169503
• Chủ đề: 1. Architecture, Computer; 2. Computer science-Mathematics; 3. Computers; 4. Microprogramming ; 5. Special purpose computers; 6. Theory of Computation; 7. Computer System Implementation; 8. Control Structures and Microprogramming; 9. Mathematics of Computing; 10. Special Purpose and Application-Based Systems

Tóm tắt

 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. .