Check for Dead-locks

This video shows setting up a checker for dead-locks in ASAP for a dead-locking model of the Dining Philosophers.