README for UPPAAL 3.5.8, July 2005
Uppsala University and Aalborg University.
Copyright (c) 1995 - 2005. All right reserved.

July, 2005

1. Introduction
2. Installation
3. New features in this release
4. Known issues in this release
5. License Agreement

1. Introduction
===============

This is the 3.5.8 release of UPPAAL 3.5 development branch -- a model
checker for timed automata.

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.

This product includes the libxml2 library which is copyrighted as
follows: "Copyright (C) 1998-2005 Daniel Veillard.  All Rights
Reserved."

This product includes the libutap library released under the LGPL by
the UPPAAL team.


2. Installation
===============

To install, unzip the zip-file uppaal-3.5.8.zip. This should create
the directory uppaal-3.5.8 containing at least the files uppaal,
uppaal2k.jar, and the directories lib, man, bin-Linux, bin-SunOS,
bin-Win32, and demo. The bin-directories should all contain the two
files verifyta(.exe) and server(.exe) plus some additional files, 
depending on the platform. The demo-directory should contain some 
demo files with suffixes .xml and .q.

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.

The present version of UPPAAL does no longer support versions 1.1,
1.2, 1.3 and 1.4 of the Java Runtime Environment (JRE). You need at
least JRE 5, and we strongly recommend using the most recent version
available for your platform.

To run UPPAAL on Linux or SunOS systems run the script named
'uppaal'. To run on Windows 95/98/Me/NT/2000/XP systems double click
the file uppaal2k.jar.

3. New features and changes
===========================

See the release notes at http://www.uppaal.com/.

4. Known issues in this release
===============================

We now have a bug management system available at
http://www.uppaal.com/. Please use this system to obtain a list of
known problems.


5. License Agreement
====================

Please read the license agreement carefully, fill in the form, and
send it to 

  Wang Yi
  Dept. of Information Technology
  Uppsala University
  Box 325
  751 05 Uppsala, Sweden

The text of the agreement follows:
                                              
We (the licensee) understand that UPPAAL includes the programs:
uppaal2k.jar, uppaal2k, server, socketserver, atg2ugi,
atg2ta, atg2hs2ta, hs2ta, checkta, simta, verifyta, uppaal, and
xuppaal and that they are supplied "as is", without expressed or
implied warranty. We agree on the following:

1. You (the licensers) do not have any obligation to provide any
   maintenance or consulting help with respect to UPPAAL. 

2. You neither have any responsibility for the correctness of systems
   verified using UPPAAL, nor for the correctness of UPPAAL itself.

3. We will never distribute or modify any part of the UPPAAL code
   (i.e. the source code and the object code) without a written
   permission of Wang Yi (Uppsala University), Paul Petterson (Uppsala
   University), Kim G Larsen (Aalborg University) or Gerd Behrmann
   (Aalborg University).
   
4. We will only use UPPAAL for non-profit research purposes. This
   implies that neither UPPAAL nor any part of its code should be used
   or modified for any commercial software product.

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.
