Archived OpenModelica forums. Posting is disabled.

Alternative forums include GitHub discussions or StackOverflow (make sure to read the Stack Overflow rules; you need to have well-formed questions)


Forgot password? | Forgot username? | Register

Is there a solver of proof in Dymola ?

Is there a solver of proof in Dymola ?

Hello !

I am new with Dymola but do you know if a solver of proof exists in Dymola. I am looking for a solver like SLDV in Simulink. SLDV is used in order to identify hidden design errors in models. It can formally verify that the design meets functional requirements. For each design error or requirements violation, it generates a simulation test case for debugging. Also SLDV generates test cases for model coverage and custom objectives to extend existing requirements-based test cases.

Thank you for your answer,

There are 0 guests and 0 other users also viewing this topic
You are here: