3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 2 cited
Parallel Program Analysis on Path Ranges
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter +1
Symbolic execution is a software verification technique symbolically running programs and thereby checking for bugs. Ranged symbolic execution performs symbolic execution on progra…
cs.SE2020★ 3 cited
Cooperative Verification via Collective Invariant Generation
Jan Haltermann, Heike Wehrheim
Software verification has recently made enormous progress due to the development of novel verification methods and the speed-up of supporting technologies like SMT solving. To keep…