prism/4.0¶
- name
- PRISM
- version
- 4.0
- description
- probabilistic model checker
- url
- http://www.prismmodelchecker.org/doc/
- license
- opensource
- dependencies
- java/1.7
- tags
- statistics
- usage
- Use the module system to load this version of prism:
module load midway1; module load prism/4.0
See also
- prism/4.0 (default)
- All versions available for prism.
- Modules
- Full list of software modules available on Midway.
- Software Modules Tutorial
- A tutorial on Midway modules and how to use them.