DEEM License Agreement
Please fill in, sign, and return to Professor Andrea Bondavalli at the
address given below.
Via G. Moruzzi, 1
56124 Pisa ITALY
Phone: +39 050 315 2878 Fax: +39 050 315 2810
Educational License Agreement concerning the use and distribution
of the package (subsequently called DEEM) for the model-based evaluation
of dependability attributes of Multiple Phased Systems (MPS).
Name (Must be Faculty): ADD NAME HERE
Position: ADD POSITION HERE
Department: ADD DEPT. HERE
University: ADD UNIVERSITY HERE
Address: ADD ADDRESS HERE
Email: ADD EMAIL HERE
Fax: ADD FAX NUMBER HERE
Phone: ADD PHONE NUMBER HERE
subsequently called the licensee, and Andrea Bondavalli, subsequently
called the licensor.
The licensor grants the licensee the right to use DEEM for its staff or
students, under the terms listed below, for education and research use
The licensee agrees that DEEM is for internal use only, and will not redistribute
it to any party without prior written permission.
The licensee agrees that access to DEEM will not be sold or given away
to any outside party, and that it will not be used as part of any consulting
The licensee agrees to grant back to the licensor unlimited rights to extensions,
derivative works, or improvements made by the licensee in or to DEEM.
The licensee agrees that no support of DEEM is provided.
The licensee agrees to provide feedback on the use of DEEM, on problems
encountered, on desirable additional features, and on interesting applications
to the licensor, but the licensor is under no obligation to correct any
The licensee agrees that if DEEM is used in projects that lead to publications,
appropriate reference to DEEM will be given.
The licensee agrees that DEEM will be provided in object code form only,
and that neither listings nor machine-readable versions of DEEM will be
distributed outside the group of staff members maintaining the program.