From fffba04b3b70f19da5a5a283848989fb85d11329 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 19 Nov 2010 18:30:33 +0000 Subject: [PATCH] README (people). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2261 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/README.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/README.txt b/prism/README.txt index fa0fb4c7..1a027492 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -94,6 +94,7 @@ Contributions to the development of PRISM have also been gratefully received fro * Paolo Ballarini & Kenneth Chan: Port 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 + * Charles Harley and Sebastian Vermehren: GUI enhancements * Carlos Bederian (working with Pedro D'Argenio): Addition of LTL model checking for MDPs to PRISM * Vojtech Forejt: "Fox-Glynn" algorithm implementation