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. […]
Hash Compaction in ASAP
More Slide-making…
I'm still making slides for the ASAP tutorial. Or, rather, I'm still making heaps of videos. The below videos shows how to use the sweep-line method in ASAP, how to change the safety checker to instead use the sweep-line method, and how to draw and export the state space graph. These videos are a bit […]
Standard Report in ASAP
This briefly goes thru the (work in progress) standard report JoSEL specification in ASAP. […]
Off-line Analysis
Here we change the safety checker to do off-line analysis, thereby halving the execution time. […]
Graph Drawing and Export
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. […]
Creating Job for the Sweep-line Method
We modify the job created in our previous example to instead use the sweep-line method. […]