Checking concurrent operations and time-sensitive code.