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/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine MortalitySet your Author Custom HTML Tab Content on your Profile page […]

Read More…

Bit-state Hashing in ASAP

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)." […]

Read More…

Hash Compaction in ASAP

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/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine MortalitySet your Author Custom HTML Tab Content […]

Read More…

Standard Report in ASAP

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/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine MortalitySet your Author Custom HTML Tab Content on your Profile page […]

Read More…

Off-line Analysis

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/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine MortalitySet your Author Custom HTML Tab Content on your Profile page […]

Read More…

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. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/Is Blockchain Ready for the Enterprise?Michael’s Magical […]

Read More…