PRISM specifications

Information


Unique identifier OMICS_31502
Name PRISM
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

Download


Versioning


Add your version

Maintainers


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

Additional information


http://www.prismmodelchecker.org/manual/ https://github.com/prismmodelchecker

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