Formal verification with assertions

In reply to vico:

Please see Engineering educator and student resources | Siemens Software