Computer Aided Verification Computer Aided Verification

Computer Aided Verification

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

Alexandra Silva 및 K. Rustan M. Leino

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2021년
7월 16일
언어
EN
영어
길이
963
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
90
MB

비슷한 책 더 보기

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2018년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2008년
Static Analysis Static Analysis
Static Analysis
2018년
Static Analysis Static Analysis
Static Analysis
2011년
Static Analysis Static Analysis
Static Analysis
2021년
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2008년

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년

함께 구입한 다른 도서

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2018년
International Symposium on Mathematics, Quantum Theory, and Cryptography International Symposium on Mathematics, Quantum Theory, and Cryptography
International Symposium on Mathematics, Quantum Theory, and Cryptography
2020년
Finite Difference Computing with PDEs Finite Difference Computing with PDEs
Finite Difference Computing with PDEs
2017년
Security in Computer and Information Sciences Security in Computer and Information Sciences
Security in Computer and Information Sciences
2018년
Computer and Information Sciences Computer and Information Sciences
Computer and Information Sciences
2016년
Probability in Electrical Engineering and Computer Science Probability in Electrical Engineering and Computer Science
Probability in Electrical Engineering and Computer Science
2021년