Thanks for the report. This a manual bug - the use of ranges (e.g. 1..10) is no longer supported in new versions of PRISM.
See http://www.prismmodelchecker.org/language-changes.php for details.
I will update the manual.
Thanks,
Dave.
2009-10-20 20:34:51 UTC in The PRISM Probabilistic Model Checker
