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,