Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim. Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. In Rick Rabiser, Manuel Wimmer, Iris Groher, Andreas Wortmann 0001, Bianca Wiesmayr, editors, Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024. Volume P-343 of LNI, pages 157-158, Gesellschaft für Informatik e.V., 2024. [doi]
Abstract is missing.