SLAB END USER LICENSE Copyright (c) 2009 Saarland University 1. Hereafter, "Software" refers to the certifying model checker SLAB and all associated materials. 2. Hereafter, "OWNER" refers to Saarland University, PO Box 15 11 50, D-66041 Saarbücken, Germany. 3. This is a legal agreement between you, RECIPIENT, and OWNER. By accepting, receiving, and using this Software, you are agreeing to be bound by the terms of this Agreement. If you do not agree to the terms of this Agreement, promptly return the Software to OWNER. This Agreement is subject to German Law. 4. OWNER hereby grants to RECIPIENT a personal, non-exclusive, non-transferable, royalty-free license to access and use the Software for the RECIPIENT's internal purposes. The Software is licensed to RECIPIENT, and such license does not constitute a sale of the Software. OWNER reserves the right to release the Software under different license terms or to stop distributing or providing access to the Software at any time. 5. RECIPIENT may not: (i) distribute, sublicense, rent or lease the Software; (ii) modify, adapt, translate, reverse engineer, decompile, disassemble or create derivative works based on the Software; or (iii) create more than one (1) copy of the Software or any related documentation. 6. If one or several provisions of this agreement turn out to be invalid, entirely or partly void, or infeasible, the validity of this agreement and of the remaining provisions is not effected. 7. OWNER MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED. BY WAY OF EXAMPLE, BUT NOT LIMITATION, OWNER MAKES NO REPRESENTATIONS OR WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR THAT THE USE OF THE LICENSED SOFTWARE COMPONENTS OR DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS. OWNER SHALL NOT BE HELD LIABLE FOR ANY LIABILITY NOR FOR ANY DIRECT, INDIRECT OR CONSEQUENTIAL DAMAGES WITH RESPECT TO ANY CLAIM BY RECIPIENT OR ANY THIRD PARTY ON ACCOUNT OF OR ARISING FROM THIS AGREEMENT OR USE OF THE SOFTWARE.