If you have problems or questions regarding the tool, please first check the support section.
If you have further queries or comments, please email:
Dave Parker <david.parker@cs.ox.ac.uk>
Full details of the people involved in the development of PRISM can be found here.
