forked from SRI-CSL/PVS
-
Notifications
You must be signed in to change notification settings - Fork 0
/
LICENSE-SRI
125 lines (97 loc) · 6.53 KB
/
LICENSE-SRI
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
Please read before downloading PVS
## SRI INTERNATIONAL END-USE LICENSE AGREEMENT SOFTWARE PROGRAM: PVS™ ALLEGRO
VERSIONS
### GRANT
By clicking "Accept" below, SRI International ("SRI") grants you a royalty-
free, non-exclusive, non-transferable license under the Licensed IP to use its
accompanying, above referenced software program ("Software") and related
documentation ("Documentation") upon the terms and conditions set forth below:
#### Definitions
"Licensed Software" means the Software, and any larger applications in which
such Software is incorporated.
"Licensed IP" means all patent claims, copyright, and trade secrets owned or
freely licensable by SRI that are embodied in or necessarily practiced by the
Software.
"Non-Commercial Purposes" means usage of Licensed Software (a) by an official
governmental agency, strictly for non-commercial, public benefit purposes, or
(b) solely for non-commercial research purposes in exchange for which no
financially valuable consideration (including but not limited to sales or
license revenue, service revenue, and advertising revenue, and whether in the
form of monetary, equity, or other forms of consideration) is received, except
for research funding received from an official government agency sponsor, a
non-profit foundation, or similar research funding organization.
**You may:** use or copy the Licensed Software solely for Non-Commercial Purposes.
**You may not:** modify the Software, or decompile, disassemble, or otherwise copy the Software in modified form; or publish, distribute, or transfer copies of the Licensed Software. These examples are by way of illustration, not limitation; except as expressly set forth above (under "You may"), no other license rights are implied or otherwise granted under this License Agreement.
#### TITLE
SRI retains title, ownership rights, and intellectual property rights in and
to the Software and Documentation. The Software is protected by the copyright
laws of the United States and international copyright treaties.
#### DISCLAIMER OF WARRANTY
Since this Software is a research tool still in the development stage and is
provided free of charge, the Software and Documentation are provided on an "AS
IS" basis, WITHOUT WARRANTY OF ANY KIND, INCLUDING WITHOUT LIMITATION THE
WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR THAT
THE USE OF THE SOFTWARE OR DOCUMENTATION WILL NOT INFRINGE ANY PATENTS,
COPYRIGHTS, TRADEMARKS, OR OTHER RIGHTS. The entire risk as to the quality and
performance of the Software and/or Documentation is borne by you. Should the
Software and/or Documentation prove defective, you and not SRI assume the
entire cost of any services and repair. This disclaimer of warranty
constitutes an essential part of the agreement.
#### LIMITATION OF LIABILITY
UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT, OR
OTHERWISE, SHALL SRI, SRI'S AGENTS, OFFICERS, ASSISTANTS AND EMPLOYEES EITHER
IN THEIR INDIVIDUAL CAPACITIES OR BY REASON OF THEIR RELATIONSHIP TO SRI AND
SRI'S SUCCESSORS, BE HELD LIABLE TO YOU OR ANY OTHER PERSON FOR ANY INDIRECT,
SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES OF ANY CHARACTER INCLUDING,
WITHOUT LIMITATION, DAMAGES FOR LOSS OF GOODWILL, WORK STOPPAGE, COMPUTER
FAILURE OR MALFUNCTION, OR ANY AND ALL OTHER COMMERCIAL DAMAGES OR LOSSES. IN
NO EVENT SHALL SRI BE LIABLE FOR COSTS OF PROCUREMENT OF SUBSTITUTE OR
REPLACEMENT PRODUCTS OR SERVICES. IN NO EVENT SHALL SRI'S LIABILITY TO YOU OR
ANY THIRD PARTY EXCEED THE AMOUNT PAID BY YOU UNDER THIS AGREEMENT, IF ANY.
#### NO SUPPORT, NO UPDATES
This license does not grant you any right to any Software support,
enhancements or updates.
#### TERMINATION
This license will terminate automatically if you fail to comply with the
limitations described above. On termination, you must destroy all copies of
the Software.
#### EXPORT RESTRICTIONS
Each party hereby acknowledges that the rights and obligations of this
Agreement are subject to the laws and regulations of the United States
relating to the export of products and technical information. Without
limitation, each party shall comply with all such applicable laws and
regulations.
Use of PVS outside the USA may be subject to US Government export licensing
requirements. The requirements are dependent on the use to be made of PVS. If
your use of PVS will concern something other than research, or if the results
will be restricted for proprietary or national security reasons, then please
provide explicit details in an end-use statement and send to:
Computer Science Laboratory
SRI International
Menlo Park CA 94025 USA
Email: [pvs-sri@csl.sri.com](mailto:pvs-sri@csl.sri.com)
Phone: +1 (650) 859-3333
Fax: +1 (650) 859-2844
#### U.S. GOVERNMENT RESTRICTED RIGHTS
If the Software or any accompanying documentation is used or acquired by or on
behalf of any unit, division or agency of the United States Government, this
provision applies. The Software and any accompanying documentation is provided
with RESTRICTED RIGHTS. The use, modification, reproduction, release, display,
duplication or disclosure thereof by or on behalf of any unit, division or
agency of the Government is subject to the restrictions set forth in
subdivision (c)(1) of the Commercial Computer Software-Restricted Rights
clause at 48 CFR 52.227-19 and the restrictions set forth in the Rights in
Technical Data-Non-commercial Items clause set forth in 48 CFR 252.227-7013.
The contractor/manufacturer of the Software and accompanying documentation is
SRI International, 333 Ravenswood Avenue, Menlo Park, California 94025, USA.
#### MISCELLANEOUS
This agreement represents the complete agreement concerning this license
between the parties and supersedes all prior agreement and representations
between them. It may be amended only by a writing executed by both parties. If
any provision of this Agreement is held to be unenforceable for any reason,
such provision shall be reformed only to the extent necessary to make it
enforceable. This agreement shall be governed by and construed in accordance
with the laws of the State of California, without regard to the conflicts of
law principles thereof, and shall not be governed by the United Nations
convention on contracts for the international sale of goods.
**NOTE:** Although not part of the agreement, we appreciate it if you will inform us at [pvs-bugs@csl.sri.com](mailto:pvs-bugs@csl.sri.com) of any bugs that you discover, and notify us at [pvs-sri@csl.sri.com](mailto:pvs-sri@csl.sri.com) of interesting applications you have made of PVS and of any papers or reports describing your use of the system.