PARAM Version 1.2
-----------------

Probabilistic Reachability for Parametric Markov Models.

For a description of PARAM, please refer to

http://depend.cs.uni-sb.de/~emh/param

License
-------

The source code in the subdirectories "infamation", "parametric",
"util", "lang" and "rationalFunction" contains the core functionality
of PARAM. All files under "parametric" and "rationalFunction" are
licensed under the GNU General Public License, found in the file "GPL"
and are copyright 2010 Ernst Moritz Hahn (emh@cs.uni-sb.de). The
source files in "util" and "lang" are copyright 2010 Bjoern Wachter
(bwachter@cs.uni-sb.de).

The files "libfrontend.a", "dp/CVC3SMT.o", "dp/SMT.o",
"infamation/Model2C.o" and "infamation/expr2c.o" needed to build PARAM
are not part of PARAM itself and do not fall under the GPL
license. They are copyrighted 2010 by Ernst Moritz Hahn and Bjoern
Wachter.

The license for the files in the directory "cvc3" can be found at
http://www.cs.nyu.edu/acsys/cvc3/doc/LICENSE.html
