Strengthening Induction-Based Race Checking with Lightweight Static Analysis.

Alastair F. Donaldson, Leopold Haller, Daniel Kroening

Browse the full VMCAI paper archive.