From 1ea340dbd2bec8840ebcd86ca00130d8065ac25d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 23 Nov 2012 01:00:12 +0000 Subject: [PATCH] Author/copyright info. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6024 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/README.txt | 2 ++ prism/src/userinterface/properties/GUIMultiProperties.java | 1 + 2 files changed, 3 insertions(+) diff --git a/prism/README.txt b/prism/README.txt index 85c03367..56b8f666 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -82,6 +82,8 @@ PRISM was created and is still actively maintained by: We gratefully acknowledge contributions to the PRISM code-base from various sources, including (in approximately reverse chronological order): + * Mateusz Ujma: Bug fixes and GUI improvements + * Vojtech Forejt: Symbolic/explicit-state model checking, GUI enhancements * Vincent Nimal: Approximate (simulation-based) model checking techniques * Mark Kattenbelt: Wide range of enhancements/additions, especially in the GUI * Carlos Bederian (working with Pedro D'Argenio): LTL model checking for MDPs diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java index 03f02b4d..0b6d87d6 100644 --- a/prism/src/userinterface/properties/GUIMultiProperties.java +++ b/prism/src/userinterface/properties/GUIMultiProperties.java @@ -7,6 +7,7 @@ // * Mark Kattenbelt (University of Oxford, formerly University of Birmingham) // * Vincent Nimal (University of Oxford) // * Vojtech Forejt (University of Oxford) +// * Mateusz Ujma (University of Oxford) // //------------------------------------------------------------------------------ //