Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I / [electronic resource] : / edited by Arie Gurfinkel, Vijay Ganesh.. — 1st ed. 2024.. — XXXIII, 498 p. 133 illus., 110 illus. in color. : online resource. — (Lecture Notes in Computer Science,) 14681 1611-3349 ;. - Lecture Notes in Computer Science, 14681 .

Open Access

Анотація:
This open access book 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.

ISBN: 9783031656279

Standard No.: 10.1007/978-3-031-65627-9 doi

Subjects--Topical Terms:
Software engineering.
Artificial intelligence.
Algorithms.
Software Engineering.
Artificial Intelligence.
Design and Analysis of Algorithms.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1