Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II - Gurfinkel, Arie (Herausgeber); Ganesh, Vijay (Herausgeber) (Lecture Notes in Computer Science, 2024)