PRISM statistics

To access cutting-edge analytics on consensus tools, life science contexts and associated fields, you will need to subscribe to our premium service.

Subscribe

Citations per year

Popular tool citations

Metabolic network analysis

Tool usage distribution map

Associated diseases

PRISM specifications

Desktop Forum (0)

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

Chunyan Mu <>
Jonathan Rowe <>

Additional information

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

Publications for PRISM

Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks.

2018 IEEE Trans Comput Biol Bioinform

DOI: 10.1109/TCBB.2018.2804395

PRISM 4.0: Verification of Probabilistic Real-Time Systems.

2011

DOI: 10.1007/978-3-642-22110-1_47

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

Be the first to review PRISM