formalSpec 1.0

 2016 General Electric Company.  All rights reserved.


formalSpec 1.0 is non-production software provided for demonstration / testing purposes only.  This software is the property of, and the copyright is owned by, the General Electric Company.

It being is made available only to selected individuals and organizations, and its use is only permitted under the following terms:
 The software is NOT licensed for production use - DO NOT USE THIS SOFTWARE IN PRODUCTION ENVIRONMENTS.
 This software is under continuing development and is provided for testing purposes only.
 This software may not be transferred or distributed by you to any third party or to anyone outside of your organization.
 The software may contain defects and comes without any warranty of any kind.
 GE will not be liable for any damages, direct or indirect, resulting from the use, misuse, or malfunction of this software.  You agree to release GE from any claims or causes of action that may arise from your use of this software.
 Copies of this code, screenshots, and all documentation associated with this software are confidential and may not be shared with any third party without permission from the General Electric Company.
 The availability of this non-production code may be discontinued and your license to use this code revoked by GE at any time.  Upon notice of termination of this license, your right to use this code will cease and all copies of the code must be destroyed and all installations removed.

This work was partially funded by the European Commissions Horizon 2020 research and innovation programme under grant number 643921.

Your feedback on formalSpec 1.0 is much appreciated.  Please contact Axel Busboom (busboom@ge.com) with any improvement suggestions, bug reports, or feature requests.
