9. A tool for inferring system-level properties, comprising: a processor; memory coupled to the processor; a verification module stored in the memory and executable by the processor to verify a number of component properties corresponding to a number of components of a particular system; a modeling module stored in the memory and executable by the processor to generate a constraint model based on a system model and a number of verified component properties, wherein the system model includes: a component architecture and hierarchy; a control architecture and hierarchy; a number of mission requirements; and a number of system-level properties; and wherein the constraint model includes: a number of mission constraints modeling one or more of the number of mission requirements; a number of system constraints modeling one or more of the number of system-level properties; and a number of component constraints modeling one or more of a number of component properties associated with the component architecture and hierarchy and the control architecture and hierarchy; and an inference module stored in the memory and executable by the processor to analyze the constraint model to determine whether one or more particular system-level properties can be inferred from the constraint model.
13. The tool of claim 9 , wherein the system is an unmanned autonomous system.