摘要 |
<p>Um zwei technische Systeme, insbesondere elektrische Schaltungen, miteinander zu vergleichen, wird in Form eines hybriden Beweisers ein Rahmenwerk für mehrere Teilbeweiser geschaffen. Der hybride Beweiser steuert die Teilbeweiser an, wobei der Vergleich beendet ist, sobald ein Teilbeweiser ein Ergebnis bestimmen konnte. Mit diesem Ergebnis erfolgt eine Verifikation der technischen Systeme.</p> |