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
2018 IEEE Trans Comput Biol Bioinform
DOI: 10.1109/TCBB.2018.2804395
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