摘要 |
<p>The objective of the invention is to detect a characteristic in a technical system with reference to model checking. A comparison is made, involving the coordination of several comparative processes, whereby said comparison leads to a result. The comparison is terminated as soon as a comparative process proves that said characteristic is present or not in the appropriate system.</p> |