Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim: Cooperative Software Verification via Dynamic Program Splitting. Zenodo 2025