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 […]
Tag: Youtube
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 […]
Tutorial on ASAP
I'm currently working on a tutorial for ASAP, the tool I'm working on at work. The tutorial is a mixture of slides and video demonstrations. You can see the four videos, I've currently done below: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
New Upcoming Single from Britney!
It’s called “3”, and it’s great! According to britney.com it’ll be available from iTunes on October 6. Check out the lyrics from britneyspears.com. http://www.youtube.com/watch?v=jGD7aInwM4k Appropriately enough, the single (and the new Singles Collection) was announced on my birthday 🙂 MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]