Verifying concurrent code with layers and movers - View it on GitHub