I’ve now printed half of the copies of the proceedings for the CPN Workshop. Each copy takes around 28 minutes, so 40 (or maybe even 50) really takes quite a while. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
I'm still making videos (as well as printing). Latest productions below. They show how to do off-line analysis in ASAP, outlines the JoSEL specification for generating a standard report, and, more interestingly, shows how to do hash compaction and how to combine the hash compaction method with the sweep-line method as well as how to […]
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/ […]
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 […]
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/ […]