T-Uppaal Download Page

Please read our license Agreement:

License Agreement

Since T-Uppaal is just and extension to Uppaal we must obey the original Uppaal license, and the full extended license is the following:

     

Copyright (c) 1995-2005 by Uppsala University and Aalborg University.

We (the licensee) understand that Uppaal includes the programs: uppaal2k.jar, uppaal, uppaal.bat, server, socketserver, atg2ugi, atg2ta, atg2hs2ta, hs2ta, checkta, simta, verifyta, uppaal, xuppaal, tuppaal, and tuppaal-s 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) or Kim G Larsen (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.

      

Yes, I accept the license agreement.

Select a version:

Continue to the installation instructions.

For newer versions please look at the new Uppaal TRON home page.

Back to T-Uppaal Homepage.

Last updated on by Marius Mikučionis
 Valid XHTML 1.0 Strict