Here, we extend the example to also check a simple mutex property, that two philosophers next to each other cannot eat at the same time.
Checking a Custom Safety Property
![](https://westergaard.eu/wp-content/uploads/2018/03/Checking-a-Custom-Safety-Property-600x428.jpeg)
Here, we extend the example to also check a simple mutex property, that two philosophers next to each other cannot eat at the same time.