Computer Aided Verification Computer Aided Verification

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Alexandra Silva & K. Rustan M. Leino

Lời Giới Thiệu Của Nhà Xuất Bản

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.

The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:

Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.

Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.

This is an open access book.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2021
17 tháng 7
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
946
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
88
Mb

Thêm Sách Tương Tự

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2010
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
2010
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2010
Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
2010
Handbook On Reasoning-based Intelligent Systems, The Handbook On Reasoning-based Intelligent Systems, The
Handbook On Reasoning-based Intelligent Systems, The
2013

Sách Khác Của Alexandra Silva & K. Rustan M. Leino

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2021
Language, Logic, and Computation Language, Logic, and Computation
Language, Logic, and Computation
2019
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2017