New Methods of Concurrent Checking