MATLAB Examples

Property Proving Using MATLAB Function Block

This example shows how to verify the seat belt reminder design model referenced in the top block above.