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

Haltermann, JanJakobs, Marie-ChristineRichter, CedricWehrheim, HeikeRabiser, RickWimmer, ManuelGroher, IrisWortmann, AndreasWiesmayr, Bianca2024-02-192024-02-192024978-3-88579-737-1https://dl.gi.de/handle/20.500.12116/43598enSoftware VerificationRanged Program AnalysisParallel Configurable Program AnalysisProgram InstrumentationRanged Program Analysis: A Parallel Divide-and-Conquer Approach for Software VerificationText/Conference Paper10.18420/sw2024_521617-5468