www.prismmodelchecker.org

Sponsors

The development of PRISM has taken place primarily in the School of Computer Science at the University of Birmingham and the Department of Computer Science at the University of Oxford.

University of Birmingham University of Oxford

The project has benefited from funding from: EPSRC, the European Research Council (ERC), the European Commission (EC), the British Council, the DTI, Microsoft Research Cambridge, QinetiQ, DARPA and Google Summer of Code (2013, 2014, 2016). See here and here for more details of projects funding PRISM.

EPSRC European Research Council European Commission British Council DTI
Microsoft Research Cambridge QinetiQ DARPA Google Summer of code

Resources

The PRISM users forum is hosted at Google Groups:

Google Groups

PRISM uses GitHub to host various repositories, as well as our issue tracker.

GitHub

PRISM development makes use of JProfiler Java profiler:

JProfiler

About PRISM