Describir: New Methods of Concurrent Checking