TOOLympics Challenge 2023 updates, results, successes of the formal-methods competitions - Beyer, Dirk 1972-; Hartmanns, Arnd; Kordon, Fabrice (Springer, 2025)