Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings - Neele, Thomas; Wijs, Anton (Springer Nature Switzerland, 2025)