From 23efd900cb5519f4d5df44119d7ea2bd7565dbce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hajdu=20=C3=81kos?= Date: Mon, 5 Nov 2018 09:57:37 +0100 Subject: [PATCH] Update notice and readme --- NOTICE | 9 ++------- README.md | 9 ++++++++- 2 files changed, 10 insertions(+), 8 deletions(-) diff --git a/NOTICE b/NOTICE index 2b49e6b981..7a6c7e5287 100644 --- a/NOTICE +++ b/NOTICE @@ -3,11 +3,6 @@ Copyright 2018 Contributors to the Theta project See the CONTRIBUTORS.md file for the list of contributors. -The Theta project was partially supported by the -MTA-BME Lendület Cyber-Physical Systems Research Group -and the Fault Tolerant Systems Research Group -of the Department of Measurement and Information Systems , Budapest University of Technology and Economics. +See the README.md file for the list of supporters. -The Theta project was partially supported by [Gedeon Richter’s](https://www.richter.hu/en-US/Pages/default.aspx) Talentum Foundation (Gyömrői út 19-21, 1103 Budapest, Hungary). - -The Theta project was partially supported by Nemzeti Tehetség Program, [Nemzet Fiatal Tehetségeiért Ösztöndíj 2016](http://www.emet.gov.hu/felhivasok/nemzeti_tehetseg_program212/) (NTP-NFTÖ-16). \ No newline at end of file +Theta uses the Z3 SMT solver. \ No newline at end of file diff --git a/README.md b/README.md index 3ab87d1b37..ad20752a61 100644 --- a/README.md +++ b/README.md @@ -53,4 +53,11 @@ To cite Theta, please cite the following paper. ``` ## Acknowledgements -See the [notice file](NOTICE) for the list of supporters of the Theta project. \ No newline at end of file +Supporters of the Theta project are listed below. + +* [MTA-BME Lendület Cyber-Physical Systems Research Group](http://lendulet.inf.mit.bme.hu/) +* [Fault Tolerant Systems Research Group](https://inf.mit.bme.hu/en), [Department of Measurement and Information Systems](https://www.mit.bme.hu/eng/), [Budapest University of Technology and Economics](http://www.bme.hu/?language=en) +* [Gedeon Richter’s](https://www.richter.hu/en-US/Pages/default.aspx) Talentum Foundation +* Nemzeti Tehetség Program, [Nemzet Fiatal Tehetségeiért Ösztöndíj 2016](http://www.emet.gov.hu/felhivasok/nemzeti_tehetseg_program212/) (NTP-NFTÖ-16) +* [CECRIS project](http://www.cecris-project.eu/) +* [R5-COP project](http://www.r5-cop.eu/) \ No newline at end of file