This shows the extension points used to add the wizard for creating progress measures to ASAP. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Adding Progress Measure to ASAP GUI

This shows the extension points used to add the wizard for creating progress measures to ASAP. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
In this video, we change our safety checker to use bit-state hashing (with double hashing). We also try to modify our sweep-line checker to use bit-state hashing together with the sweep-line method, but see that this is not possible (as the sweep-line requires a storage we can remove from, but double hashing does not allow that)." […]
In this video, we change our safety checker to use hash compaction. We also modify our sweep-line checker to use hash compaction together with the sweep-line method. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
This briefly goes thru the (work in progress) standard report JoSEL specification in ASAP. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Here we change the safety checker to do off-line analysis, thereby halving the execution time. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Here we change the job to instead draw the state space graph. We modify the model to only contain two philosophers and play a bit with the resulting graph, including exporting it in DOT and GraphML format. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]