licenses/uppaal

uppaal (text/plain), 1.12 KB, created by Bjarke Freund-Hansen on 2007-02-02 20:09:52 UTC

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

We (the licensee) understand that Uppaal includes the programs: uppaal.jar,
uppaal, uppaal.bat, server, socketserver, and verifyta 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-commercial applications in academia, or as
     private persons. 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.