.. index::
	   single: midway1; prism; 4.0
	   single: module; midway1/prism/4.0

	.. _module_midway1_prism_4.0:

---------
prism/4.0
---------

	

name
    PRISM

version
    4.0

description
    probabilistic model checker

url
    http://www.prismmodelchecker.org/doc/

license
    opensource

dependencies
    :ref:`module_midway1_java_1.7`

tags
    :ref:`module_tag_statistics`
	usage
	   Use the module system to load this version of prism: ``module load midway1; module load prism/4.0``

	

	.. seealso::

		:ref:`module_midway1_prism_4.0` (default)
			All versions available for prism.
	
		:ref:`modules`
			Full list of software modules available on Midway.

		:ref:`modules_tutorial`
			A tutorial on Midway modules and how to use them.