Community Profile

photo

Yvonne Murray


Last seen: 11 months ago Active since 2020

Followers: 0   Following: 0

Statistics

Feeds

View by

Question


Falsified - No counterexample in Simulink Design Verifier
When I am in property proving mode, and use the strategy "FindViolation", I get the result "Falsified - no counterexample" (this...

3 years ago | 1 answer | 0

1

answer