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/ […]
This shows details of the example and how to modify it to show counterexamples to violated properties MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Playing with JoSEL; Drawing Counter-examples
This video shows setting up a checker for dead-locks in ASAP for a dead-locking model of the Dining Philosophers. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Quick introduction to ASAP 1.1 testing (Jun 2009), a state space exploration tool developed by the CPN Group at Aarhus University. ASAP is available free of charge from http://www.daimi.au.dk/~ascoveco/download.html This video shows how to create a project, import a model, create a simple job for checking for dead-locks, and how to execute that job. MichaelTime […]