METHOD AND ARRANGEMENT FOR COMPARING A FIRST CHARACTERISTIC WITH GIVEN CHARACTERISTICS OF A TECHNICAL SYSTEM

摘要

Im Rahmen eines Model Checkings wird versucht, eine Eigenschaft an einem technischen System nachzuweisen. Dazu wird ein Vergleich durchgeführt, bei dem mehrere Vergleichsverfahren derart zu koordinieren sind, dass der Vergleich zu einem Ergebnis führt. Insbesondere ist der Vergleich beendet, sobald ein Vergleichsverfahren den Nachweis erbringt, dass die Eigenschaft in dem System vorliegt bzw. dass die dort Eigenschaft nicht enthalten ist.