The Dale’s Way 2009

All photos from our trip – use next at the bottom of the image block to see more pictures and click on a picture to see a larger version. [flickr-gallery mode=”photoset” photoset=”72157621733199599″] MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from The Dale’s Way 2009

ASAP demo

Quick introduction to ASAP 1.1 testing (Jun 2009), a state space exploration tool developed by the CPN Group at Aarhus University. ASAP is available free of charge from http://www.daimi.au.dk/~ascoveco/download.html This video shows how to create a project, import a model, create a simple job for checking for dead-locks, and how to execute that job. MichaelTime […]

Read More… from ASAP demo