www.prismmodelchecker.org
HomeAboutDownloadsDocumentationManualPublicationsCase StudiesSupport

Sponsors

Between 2001 and 2007, PRISM was developed primarily in the School of Computer Science at the University of Birmingham. From July 2007, the PRISM team have been based in the Computing Laboratory at the University of Oxford.

University of Birmingham University of Oxford

The project has benefited from funding from: EPSRC, QinetiQ, the DTI, the British Council and Microsoft Research Cambridge. See here for more information.

EPSRC QinetiQ DTI British Council Microsoft Research Cambridge

Some parts of the PRISM project, including the discussion group and bug reports/feature requests, are hosted at Google Groups and SourceForge.

Google Groups SourceForge

About PRISM