10. The tool of claim 9 , wherein the inference module is configured to reason across different levels of abstraction to determine whether the one or more particular system-level properties can be inferred from the constraint model.
10. The tool of claim 9 , wherein the inference module is configured to reason across different levels of abstraction to determine whether the one or more particular system-level properties can be inferred from the constraint model. 11. The tool of claim 10 , wherein the inference module includes forms of reasoning that includes composition, embedding, and abstraction.