Im beantragten Projekt sollen Ansätze zum Robustheitsnachweis von Schaltkreisen unter Verwendung formaler Methoden erarbeitet werden. Erste viel versprechende Vorarbeiten hierzu wurden bereits durchgeführt. Hierbei wurden erste Lösungsansätze implementiert, deren Effizienz jedoch noch nicht für die praktische Anwendung ausreicht. Zusätzlich konnten weiterführende Fragestellungen bezüglich der Behandlung unterschiedlicher Fehlertypen identifiziert werden. Deshalb sollen die vorhandenen Ansätze im beantragten Projekt weiterentwickelt und anhand praktischer Beispiele evaluiert werden.
Das Projektziel ist die Entwicklung eines vollautomatischen Werkzeuges zur Klassifikation der Robustheit eines Schaltkreises. Die zugrunde liegenden Beweismethoden sollen für den Nutzer transparent sein, so dass das Werkzeug einfach zu bedienen ist. Gleichzeitig soll es möglich sein auch große Schaltkreise mit den entwickelten Werkzeugen bearbeiten zu können.
