DGB Technologies understands that the SAFEST tool includes: first.jar, storm, etc.; they are supplied "as is", without expressed or implied warranty. We agree on the following where DGB Technologies is the "Licenser" and (academic/commercial) user is the "Licensee":

1. DGB does not have any obligation to provide any maintenance or consulting help concerning the Storm model-checker.
2. DGB is not responsible for the correctness of systems verified using Storm or for the correctness of SAFEST itself.
3. DGB will never distribute or modify any part of the Storm model-checker source code (and binaries) without the written permission of Dr. Joost-Pieter Katoen (RWTH Aachen University, Germany).
4. With an academic license, the user will only use SAFEST for academic/work research. The user understands that academic work means "work performed by researchers or students at institutions delivering academic degrees". In addition, the work or the worker may not be contracted by any non-academic institution.
5. Any use of SAFEST at companies, private use, use at national research agencies, or any other non-academic use requires a license of SAFEST from DGB.
6. The user will not use/modify the source code (and binaries) of SAFEST or any part of it for any commercial software product.
7. In case of a violation, DGB has the right to cancel the license immediately.

In case new versions of the SAFEST tool are released, they will also fall under all of the above terms