PRISM specifications


Unique identifier OMICS_31502
Alternative name PRISM Model Checker
Software type Application/Script
Interface Command line interface
Restrictions to use None
Operating system Unix/Linux, Mac OS, Windows
Programming languages Java
License GNU General Public License version 3.0
Computer skills Advanced
Version 4.4
Stability Stable
Registration required Yes
Maintained Yes



Add your version


  • person_outline Chunyan Mu <>
  • person_outline Jonathan Rowe <>

Additional information

Publications for PRISM

PRISM institution(s)
School of Computing, Teesside University, Middlesbrough, UK; Institute of Computer Science, Friedrich-Schiller-University Jena, Germany; Department of Computer Science, University of Birmingham, Birmingham, UK
PRISM funding source(s)
Supported by the European Union through funding under FP7–ICT–2011–8 project HIERATIC (316705).

PRISM reviews

star_border star_border star_border star_border star_border
star star star star star

Be the first to review PRISM