1. A method for inferring system-level properties, comprising: generating a constraint model based on: a system model having a number of components at different levels of abstraction; and a number of verified component properties; wherein the constraint model includes: a number of mission constraints modeling one or more mission requirements; a number of system constraints modeling one or more system -level properties; and a number of component constraints modeling one or more component properties; and analyzing the constraint model with a constraint solver to determine whether one or more particular system-level properties can be inferred from the constraint model.