Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings - Caltais, Georgiana. (Springer, 2023)