Here's a video, from Clemens Wiltsche, giving a short guided tour of the main features of PRISM-games version 2.0:
PRISM-games 2.0 Demo from PRISM model checker on Vimeo.
