PRISM News
February 2012:
PRISM has now been
downloaded more than 25,000 times.
Thanks for your support.
August 2010:
Marta Kwiatkowska will give a course on "Advances in Probabilistic Model Checking" at the
Marktoberdorf 2011 summer-school this month.
See
this page for resources.
July 2011:
To coincide with the recent
release
of
PRISM 4.0,
we are pleased to announce the new
PRISM benchmark suite,
for testing or evaluating
probabilistic model checking tools and techniques.
July 2011:
Congratulations to Shinji Kikuchi and Yasuhide Matsumoto from
Fujitsu,
who won the Best Paper award for their new
paper
applying PRISM to cloud computing systems.
May 2011:
The final beta release of PRISM 4.0,
which includes support for probabilistic timed automata (PTAs) and statistical model checking,
is available on the main
download page.
March 2011:
Interested in probabilistic model checking for MDPs?
A new
tutorial paper on the subject,
written for the
SFM-11:CONNECT summer-school,
is now available.
February 2011:
A fully funded PhD studentship is now available at Oxford
on the topic "Automated Verification Techniques for DNA Computing".
Applications close 28 Feb 2011. See
here for more details.
December 2010:
An early release of PRISM 4.0 is now available
as a
development version.
This includes support for
probabilistic timed automata (PTAs)
and statistical model checking.
November 2010:
A 1-year postdoc position is now available at Oxford on the
PRISMATIC project.
Applications close 8 Dec 2010. See
here for more details.
October 2010:
A fully funded PhD studentship is now available at Oxford
on the new
VERIWARE project. Applications close 15 Nov 2010. See
here for more details.
September 2010:
US R&D company
SIFT
is hiring researchers in probabilistic verification.
See
here for details.
July 2010:
Marta Kwiatkowska and Dave Parker will give a 5-part
course on "Probabilistic Model Checking" at the
ESSLLI'10
summer-school in Copenhagen next month.
June 2010:
Interested in applying PRISM to systems biology?
This new
book chapter in "Symbolic Systems Biology: Theory and Methods"
provides a tutorial and exercises on the subject.
April 2010:
A 2-year postdoc position is now available at Oxford on the
Predictable Software Systems project.
Applications close 28 May 2010. See
here for more details.
March 2010:
Two postdoctoral positions are now available at Oxford
on the forthcoming
VERIWARE project. Applications close 7 May 2010. See
here for more details.
March 2010:
Two fully funded PhD studentships are now available at Oxford
on the forthcoming
VERIWARE project. Applications close 4 May 2010. See
here for more details.
May 2009:
A beta release of PRISM version 3.3 is now
available.
New features include LTL model checking, better error reporting, an extended property language and
much more.
December 2008:
A new
development version of PRISM is now available,
with many new features and improvements.
Full details
here.
November 2008:
Two research positions are now available at Oxford,
working on the CONNECT-IP project:
one Research Assistant (Grade 7) and one Student Researcher.
Applications close 5 January 2009. See
here and
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.
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).
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.
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.
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.
Site hosted at the Department of Computer Science, University of Oxford