Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings - Finkbeiner, Bernd. (Springer International Publishing AG, 2022)