license.html

VeTeSS Topcased Verification Plugin
(C) 2015, Politecnico di Torino, Italy

This software is a research prototype.
It is provided in binary form for evaluation purposes only.
Any other use of this software is not permitted if not explicitly granted by the copyright holder.

THIS SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTIES OR CONDITIONS OF ANY
KIND, EITHER EXPRESS OR IMPLIED, INCLUDING, WITHOUT LIMITATION, ANY WARRANTIES
AND CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY, OR FITNESS FOR A
PARTICULAR PURPOSE. THE USER ASSUMES ANY RISK ASSOCIATED WITH USING THIS SOFTWARE.
IN NO EVENT AND UNDER NO LEGAL THEORY, WHETHER IN TORT (INCLUDING NEGLIGENCE),
CONTRACT, OR OTHERWISE, SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR
DAMAGES, INCLUDING ANY DIRECT, INDIRECT, SPECIAL, INCIDENTAL, EXEMPLARY, OR
CONSEQUENTIAL DAMAGES OF ANY CHARACTER ARISING AS THE RESULT OF THIS LICENSE OR
OUT OF THE USE OR INABILITY TO USE THIS SOFTWARE (INCLUDING, BUT NOT LIMITED TO,
DAMAGES FOR LOSS OF GOODWILL, WORK STOPPAGE, COMPUTER FAILURE OR MALFUNCTION, OR
ANY AND ALL OTHER COMMERCIAL DAMAGES OR LOSSES) EVEN IF ADVICED OF THE POSSIBILITY
OF SUCH DAMAGES.

Contact for this software is prof. Riccardo Sisto (riccardo.sisto@polito.it).
Any request about this software can be addressed to him.