LICENSE

CoCoSim Automated Analysis Framework
Copyright (c) 2015-2018 Carnegie Mellon University
Copyright (c) 2015-2018 The University of Iowa
All Rights Reserved.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are
met:

1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following acknowledgments and
disclaimers.

2. Redistributions in binary form must reproduce the
above copyright notice, this list of conditions and the following
acknowledgments and disclaimers in the documentation and/or other
materials provided with the distribution.

3. Products derived from this software may not include “Carnegie Mellon
University” or “The University of Iowa” in the name of such derived product,
nor shall “Carnegie Mellon University” or “The University of Iowa”
be used to endorse or promote products derived from this software without
prior written permission.


ACKNOWLEDGMENTS AND DISCLAIMERS:

Copyright 2015-2018 Carnegie Mellon University
Copyright 2015-2018 The University of Iowa

This material is based upon work funded and supported by
NASA NRA Contract No. NNX14AI09G and NSF Award No. 1422705.

Any opinions, findings and conclusions or recommendations expressed in
this material are those of the author(s) and do not necessarily
reflect the views of NASA nor NSF.


NO WARRANTY. THIS MATERIAL IS FURNISHED ON AN “AS-IS” BASIS. CARNEGIE MELLON
UNIVERSITY AND THE UNIVERSITY OF IOWA MAKE NO WARRANTIES OF ANY KIND,
EITHER EXPRESSED OR IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO,
WARRANTY OF FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS
OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY AND
THE UNIVERSITY OF IOWA DO NOT MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO
FREEDOM FROM PATENT, TRADEMARK, OR COPYRIGHT INFRINGEMENT.