www.prismmodelchecker.org
HomeAboutDownloadsDocumentationManualPublicationsCase StudiesSupport

PRISM News

April 2007: A fully funded PhD studentship is now available at Oxford on the forthcoming Predictable Software Systems project. Applications close 16 May. See here for more details.
March 2008: PRISM has now been downloaded more than 10,000 times. Thanks for your support.
February 2008: A beta version of the next PRISM release (version 3.2) is now available. See here for details.
November 2007: A fully funded PhD studentship is now available at Oxford on the forthcoming Predictable Software Systems project. Applications close 18 January. See here for more details.
October 2007: A new development version of PRISM is now available. Changes since the last development release include a new graph plotting engine, improvements to labels/formula, and a (slight) redesign to match the new web site.
September 2007: A postdoctoral position is now available at Oxford on the forthcoming Predictable Software Systems project. Applications close 18 October. See here for more details.
July 2007: The PRISM team have moved to Oxford University. Concurrently, we have re-launched the PRISM web site, with a new design and a new URL.
June 2007: New development versions of PRISM are now being made available again. Recent new functionality includes: an SBML-to-PRISM translator, support for 64-bit architectures and an improved simulator GUI.
May 2007: A new FAQ section has been added to the PRISM manual. Comments or requests for topics to be covered are welcome.
May 2007: A new symmetry reduction tool for PRISM called GRIP, developed at the University of Glasgow, is now available.
April 2007: The PRISM web site now includes slides for an 11-part lecture course introducing probabilistic model checking and PRISM. This material formed the basis of the recent 15-hour course given at the BISS 2007 school.
April 2007: Version 3.1.1 of PRISM has now been released, including a few small but important bug fixes (precise details here).
November 2006: A beta release of version 3.1 of PRISM is now available. New features include a Windows installer, multiple reward structures and command-line generation of random paths (more details here).
October 2006: New and up-to-date material for those wishing to learn about PRISM is now available, to coincide with the VPSM PhD school in Copenhagen this month. An online tutorial is now available. There are also up-to-date slides. These are in three parts: (I) probabilistic model checking for DTMCs/MDPs/PTAs, (II) PRISM and (III) case studies.
July 2006: The PRISM manual is now online, making it considerably easier to navigate and search. This will also allow us to update and improve the manual more efficiently. This launch coincides with the full release of version 3.0 of PRISM, which was previously available as a beta release.
June 2006: Applications are invited for a Research Associate to work on the new EPSRC funded project Automated quantitative software verification with PRISM, whose aim is to extend the PRISM tool with the capability to extract models from software. Details of the post can be found here. Informal enquires can be emailed to Marta Kwiatkowska.
March 2006: Version 3.0.beta1 of PRISM is now available. This major new release includes a simulator (providing approximate verification techniques and a model debugging tool), costs and rewards, support for Mac OS X, improved import/export functionality and much more.
March 2006: A tool paper [HKNP06] and demo of the forthcoming new release of PRISM will be presented at the TACAS'06 conference in Vienna this month.
March 2006: There will be a tutorial on probabilistic model checking and PRISM at the Verification of Protocols for Security and Mobility (VPSM) PhD School to be held in Copenhagen in October.
January 2006: We are in the process of migrating "support" aspects of the PRISM project to SourceForge. The project page is here. Please help out by posting queries in the help forum or filing a bug report.
October 2005: PRISM now runs on Mac OS X, as well as on Linux, Solaris and Windows. To try it out, download a development version of PRISM.
June 2005: A PhD studentship is now available in the School of Computer Science at the University of Birmingham to work on probabilistic model checking and PRISM. See here and here for more information.
January 2005: Recent development versions of PRISM are now being made available from here. These versions add various new features, including support for analysis of models which include information about costs and rewards.
September 2004: PRISM now runs on Windows, as well as on Linux and Solaris. This new functionality is available in version 2.1, the current release of PRISM, which can be downloaded from here.
April 2004: The book Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems has now been published by AMS. This includes six chapters of lecture notes covering the background of probabilistic model checking and the PRISM tool. See here for more information.
March 2004: Version 2.0 of PRISM is now available. The new release includes significant improvements to the PRISM modelling language and a completely new graphical user interface. See here for more precise details of what is included. To download PRISM 2.0, click here.

About PRISM