本材料基于美国国防部根据与卡内基梅隆大学签订的合同编号 FA8702-15-D-0002 资助和支持的工作，以运营联邦资助的研发中心软件工程研究所。