Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II - Shoham, Sharon (Herausgeber); Vizel, Yakir (Herausgeber) (Lecture Notes in Computer Science, 2022)