www.prismmodelchecker.org

PRISM-games: Demo

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.

PRISM-games


1,631 downloads of PRISM-games to date.