Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification

Haltermann, Jan; Jakobs, Marie-Christine; Richter, Cedric; Wehrheim, Heike (2024): Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. Software Engineering 2024 (SE 2024). DOI: 10.18420/sw2024_52. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-737-1. pp. 157-158. Program Analysis. Linz, Österreich. 26. Februar-1. März 2024