Skip to main content

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

  • Conference proceedings
  • Open Access
  • Sep 2024
  • Latest edition

You have full access to this open access Conference proceedings

Overview

  • This book is open access, which means that you have free and unlimited access

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14681)

Buy print copy

About this book

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.

The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

Keywords

  • Computer Science
  • Informatics
  • Conference Proceedings
  • Research
  • Applications
  • Open Access

Authors, Editors and Affiliations

  • University of Waterloo, Waterloo, Canada

    Arie Gurfinkel

  • Georgia Institute of Technology, Atlanta, USA

    Vijay Ganesh

Bibliographic Information

  • Book Title: Computer Aided Verification

  • Book Subtitle: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

  • Authors: Vijay Ganesh

  • Editors: Arie Gurfinkel

  • Series Title: Lecture Notes in Computer Science

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s) 2024

  • Softcover ISBN: 978-3-031-65626-2Due: 28 September 2024

  • eBook ISBN: 978-3-031-65627-9Due: 28 September 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

Publish with us