Verified integration tests on linux with massive amount of concurrency