Cover Image

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

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

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Silva, Alexandra (Editor), Leino, K. Rustan M. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Theoretical Computer Science and General Issues ; 12760
Subjects:	Software engineering. Mathematical logic. Artificial intelligence. Computer logic. Computer simulation. Software Engineering/Programming and Operating Systems. Mathematical Logic and Formal Languages. Artificial Intelligence. Logics and Meanings of Programs. Simulation and Modeling. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published: (2021)

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published: (2021)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I /
Published: (2020)

Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
Published: (2021)

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
Published: (2020)

High Performance Computing : ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 - July 2, 2021, Revised Selected Papers /
Published: (2021)

Software Engineering Perspectives in Intelligent Systems : Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.1 /
Published: (2020)

High Performance Computing : 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings /
Published: (2021)

Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I /
Published: (2020)

Artificial Intelligence in Education : 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part I /
Published: (2021)

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection : International Workshops of PAAMS 2021, Salamanca, Spain, October 6-9, 2021, Proceedings /
Published: (2021)

Parallel Computing Technologies : 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings /
Published: (2021)

Advances in Computational Intelligence : 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021, Proceedings, Part I /
Published: (2021)

Computer Aided Systems Theory - EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part I /
Published: (2020)

Domain Science and Engineering : A Foundation for Software Development /
by: Bjørner, Dines
Published: (2021)

Artificial Intelligence and Soft Computing : 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II /
Published: (2021)

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published: (2020)

Cooperative Design, Visualization, and Engineering : 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25-28, 2020, Proceedings /
Published: (2020)

Intelligent Technologies and Applications : Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6-8, 2019, Revised Selected Papers /
Published: (2020)

High Performance Computing : ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers /
Published: (2020)

Computational Science and Its Applications - ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part IV /
Published: (2020)

Pythagorean Fuzzy Sets : Theory and Applications /
Published: (2021)

High Performance Computing : 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25-27, 2019, Revised Selected Papers /
Published: (2020)

Applications of Artificial Intelligence and Machine Learning : Select Proceedings of ICAAAIML 2020 /
Published: (2021)

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI : 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers /
Published: (2020)

Proceedings of Second Doctoral Symposium on Computational Intelligence : DoSCI 2021 /
Published: (2022)

ECML PKDD 2020 Workshops : Workshops of the European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2020): SoGood 2020, PDFL 2020, MLCS 2020, NFMCP 2020, DINA 2020, EDML 2020, XKDD 2020 and INRA 2020, Ghent, Belgium, September 14-18, 2020, Proceedings /
Published: (2020)

Concepts in Action : Representation, Learning, and Application /
Published: (2021)

Computational Logistics : 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021, Proceedings /
Published: (2021)

Algorithmic Game Theory : 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings /
Published: (2021)

Machine Learning, Optimization, and Data Science : 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part II /
Published: (2020)

Smart Computing Techniques and Applications : Proceedings of the Fourth International Conference on Smart Computing and Informatics, Volume 1 /
Published: (2021)

Machine Learning and Knowledge Extraction : 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25-28, 2020, Proceedings /
Published: (2020)

Introduction to Scientific Programming with Python /
by: Sundnes, Joakim
Published: (2020)

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I /
Published: (2021)

Computational Science and Its Applications - ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part III /
Published: (2020)

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
Published: (2021)

Computational Science and Its Applications - ICCSA 2021 : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part IX /
Published: (2021)

Applied Technologies : First International Conference, ICAT 2019, Quito, Ecuador, December 3-5, 2019, Proceedings, Part I /
Published: (2020)

Information Security Technologies for Controlling Pandemics /
Published: (2021)