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. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Checking a Custom Safety Property
