Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part I

Computer aided verification : Part I / 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Alexandra Silva, K. Rustan M. Leino (eds.).

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

Saved in:

Bibliographic Details
Corporate Author:	CAV (Conference) Online)
Other Authors:	Silva, Alexandra (Alexandra Martins da) (Editor), Leino, K. Rustan M. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer, [2021]
Series:	Lecture notes in computer science ; 12759. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Computer software > Verification > Congresses. Computer software > Verification proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

Similar Items

Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part II
Published: (2021)

Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings. Part II
Published: (2023)

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II
Published: (2020)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I
Published: (2022)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II
Published: (2022)

Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part III
Published: (2023)

Runtime verification : a hands-on approach in Java
by: Colombo, Christian
Published: (2022)

Verification, model checking, and abstract interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Published: (2022)

Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part I
Published: (2023)

Concise guide to software verification : from model checking to annotation checking
by: Huisman, Marieke, et al.
Published: (2023)

Introducing software verification with Dafny language : proving program correctness
by: Sitnikovski, Boro
Published: (2022)

Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings
Published: (2021)

Engineering Dependable Software Systems.
by: Broy, M.
Published: (2013)

Verification and evaluation of computer and communication systems : 15th International Conference, VECoS 2021, Virtual event, November 22-23, 2021, Revised selected papers
Published: (2022)

Challenges of software verification
Published: (2023)

Verified software : theories, tools and experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, revised selected papers
Published: (2023)

Theory and applications of satisfiability testing -- SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Published: (2021)

Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Published: (2023)

Tests and proofs : 15th International Conference, TAP 2021, held as part of STAF 2021, Virtual event, June 21-22, 2021, Proceedings
Published: (2021)

Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised selected papers
Published: (2022)

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Published: (2021)

Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings
Published: (2022)

Verification, model checking, and abstract interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings
Published: (2020)

Leveraging applications of formal methods, verification and validation : verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings. Part I
Published: (2022)

Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings
Published: (2021)

Model checking software : 27th International Symposium, SPIN 2021 : virtual event, July 12, 2021 : proceedings
Published: (2021)

Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part IV
Published: (2021)

Software verification : 12th international conference, VSTTE 2020, and 13th international workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, revised selected papers
Published: (2020)

Software Safety and Security.
by: Nipkow, T.
Published: (2012)

Principles of model checking
by: Baier, Christel
Published: (2008)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings. Part IV
Published: (2022)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings. Part III
Published: (2022)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings. Part II
Published: (2022)

Tests and proofs : 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings
Published: (2022)

Theory and applications of satisfiability testing -- SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
Published: (2020)

Verification, model checking, and abstract interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proceedings
Published: (2023)

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part I
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 II
Published: (2021)

Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings
Published: (2022)

Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Published: (2023)