From 2e6a5be184f36ab14b42524da03b4d2dea879906 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 30 Jun 2010 09:17:24 +0000 Subject: [PATCH] README. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1956 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/README.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/README.txt b/prism/README.txt index 6ae664ea..a74cd3c2 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -88,13 +88,14 @@ in the Computing Laboratory at the University of Oxford, comprises: Contributions to the development of PRISM have also been gratefully received from: * Andrew Hinton: Original versions of the GUI, Windows-port and simulator - * Joachim Meyer-Kayser: Implementation of the "Fox-Glynn" algorithm + * Joachim Meyer-Kayser: Original implementation of the "Fox-Glynn" algorithm * Alistair John Strachan: Port to 64-bit architectures * Stephen Gilmore: Support for the stochastic process algebra PEPA * Paolo Ballarini & Kenneth Chan: Port of PRISM to Mac OS X * Rashid Mehmood: Improvements to low-level data structures and numerical solution algorithms * Alistair John Strachan, Mike Arthur and Zak Cohen: Integration of JFreeChart into PRISM * Carlos Bederian (working with Pedro D'Argenio): Addition of LTL model checking for MDPs to PRISM + * Vojtech Forejt: "Fox-Glynn" algorithm implementation For more details see: