Hello,
I am working on the fault localization of Matlab/Simulink models and your toolbox is very important for my work, So I want to ask you how can I change the STL property for which I want to generate a violation trace. And if possible, how can I use this toolbox to generate a violation trace to another model.
Hello,
I am working on the fault localization of Matlab/Simulink models and your toolbox is very important for my work, So I want to ask you how can I change the STL property for which I want to generate a violation trace. And if possible, how can I use this toolbox to generate a violation trace to another model.