SMACCMPilot is a project by Galois, Inc.
The SMACCMPilot team is:
The SMACCMPilot project software is released under an open-source BSD License. See License files in the source repositories for more information.
SMACCMPilot is developed as part of the Secure Mathematically-Assured Composition of Control Models (SMACCM) research project led by Rockwell Collins, under DARPA’s High-Assurance Cyber Military Systems (HACMS) program.
The contents of smaccmpilot.org are Copyright 2017, Galois Inc. All Rights Reserved.