Verification, model checking, and abstract interpretation 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part II - Dimitrova, Rayna; Lahav, Ori; Wolff, Sebastian (Springer, 2024)