# DES Tools

### Verify DES Integrity

From a DES Editor window, open the Tools menu and select Verify DES Integrity or click on the Verify DES Integrity button on the toolbar. This will verify the DES is Consistent.

### Check Reachability

From a DES Editor window, open the Tools menu and select Check Reachability or click on the Check Reachability button on the toolbar. This will check that every state is reachable from the initial state.

### Check Nonblocking

From a DES Editor window, open the Tools menu and select Check Nonblocking or click on the Check Nonblocking button on the toolbar. This will check that every reachable state is coreachable (i.e. a path exists from the state to a marked state).

« Zoom | DES Consistency »