Strengthening Induction−Based Race Checking with Lightweight Static Analysis

Alastair F. Donaldson‚ Leopold Haller and Daniel Kroening