Community Profile

photo

antonio cappiello


Active since 2016

Followers: 0   Following: 0

Statistics

Feeds

View by

Question


How exclude a counterexample from an analysis?
I have a large simulink model of a railway interlocking,and I have to verify some safety properties. When I perform a Find_viol...

ongeveer 8 jaar ago | 0 answers | 0

0

answers