Beruflich Dokumente
Kultur Dokumente
14
Uppsala University and Aalborg University.
Copyright (c) 1995 - 2010. All right reserved.
October, 2010
1. Introduction
2. Installation
3. New features in this release
4. Known issues in this release
5. Commercial license agreement
6. Non-commercial license agreement
1. Introduction
===============
Note that UPPAAL is free for non-profit applications but we want all
users to fill in a license agreement. This can be done online on the
web site http://www.uppaal.com/ or by sending in the form attached
below.
2. Installation
===============
Note that UPPAAL will not run without Java 2 installed on the host
system. Java 2 for SunOS, Windows95/98/Me/NT/2000/XP, and Linux can be
downloaded from http://java.sun.com.
To run UPPAAL on Linux systems run the script named 'uppaal'. To run
on Windows 95/98/Me/NT/2000/XP systems double click the file
uppaal.jar.
1. The license is a one year floating license of the UPPAAL tool "as is" without
expressed or implied warranty.
2. We are free to upgrade to newer releases of UPPAAL during the time period that
this agreement is valid.
5. Support requests are handled as queries submitted to the UPPAAL mailing list
and answered by other users of the UPPAAL tool.
7. UPPAAL International AB may use our company name and logo to announce that
we use the UPPAAL tool, e.g. on the UPPAAL web page.
Wang Yi
Dept. of Information Technology
Uppsala University
Box 325
751 05 Uppsala, Sweden
In the event that you should release new versions of UPPAAL to us, we
agree that they will also fall under all of these terms.