Computer aided verification 34th International Conference, CAV 2022 Haifa, Israel, August 7-10, 2022 : proceedings, part II - Shoham, Sharon; Vizel, Yakir (Springer, 2022)