Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities.

Ali Rasim Kocal, Michael Schwarz, Simmo Saan, Helmut Seidl

Browse the full TACAS paper archive.