Property Proving with Multiple Properties
This example shows how to perform a property proving analysis with multiple properties. The model is configured for the analysis to attempt to prove that:
When the current and six previous input values are true, the output will be true.
When the current and six previous input values are false, the output will be false.