This site has moved; please update your links. New address:

http://www.artist-embedded.org/artist/-Quantitative-Model-Checking-2010-.html

 

You can also access the old QMC site, at http://qmc.cs.aau.dk/qmc.html.