Simulate all possible interleavingns of concurrent program in order to check for errors (i. e. deadlock).