VeriComp stellt eine Plattform für den Vergleich sowie den Test unterschiedlicher verifizierter Lösungsalgorithmen im Rahmen der Simulation dynamischer Systemmodelle zur Verfügung. Methoden der Ergebnisverifikation, beispielsweise auf Grundlage der Intervallarithmetik, stellen dabei sicher, dass einerseits Einflüsse numerischer Rundungsfehler sowie methodisch bedingte zeitliche Diskretisierungsfehler in Form garantierter Schranken in den Berechnungsergebnissen abgebildet werden. Andererseits lassen sich mit diesen Methoden auch Anwendungen betrachten, bei denen für Anfangsbedingungen (wie z.B. für die Endeffektor-Lage eines Roboters) oder auch konstruktiv bedingte Parameter lediglich Toleranzbänder statt fester Werte bekannt sind. Bisher sind in VeriComp (https://vericomp.fiw.hs-wismar.de/) einige C/C++ basierte Löser integriert. Im Rahmen möglicher Bachelor- und Masterarbeiten sollen neuartige Lösungsmethoden weiterentwickelt und optimiert sowie in das bestehende Empfehlungssystem aufgenommen werden. Mögliche studentische Arbeiten sind auf die allgemeingültige Implementierung neu entwickelter Simulationsroutinen mittels Exponentialansätzen und komplexwertiger Intervallarithmetik (http://dx.doi.org/10.14232/actacyb.290904) sowie mittels ellipsoidaler Zustandseinschlüsse (http://dx.doi.org/10.1109/ICCAD52417.2021.9638755) fokussiert.