![photo](/responsive_image/150/150/0/0/0/cache/matlabcentral/profiles/13482355_1536312970208_DEF.jpg)
Yvonne Murray
Followers: 0 Following: 0
Feeds
提问
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 前 | 1 个回答 | 0