Verifying concurrent software using movers in CSPEC.

Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich

Browse the full OSDI paper archive.