Experten für den Einsatz formaler Methoden

Wir helfen beim Einsatz und der Integration formaler Methoden in den Entwicklungsprozessen.

Zu frühen Entwicklungszeitpunkten sollen bereits Aussagen über das spätere Systemverhalten gemacht werden, Safety Eigenschaften überprüft werden oder Abschätzungen über ein valides System Design erhoben werden.

Mit Expertenwissen im Bereich SMT (Satisfiability Modulo Theories) und dem Einsatz der dazu gehörenden Werkzeuge unterstützen wir Sie gerne, damit Sie das Meiste aus Ihren Modellen holen können.