Eingebettete Systeme sind in der modernen Welt allgegenwärtig. Solche Systeme werden in einer Vielzahl von Anwendungen eingesetzt, die von gewöhnlichen elektronischen Geräten für Verbraucher bis hin zu Anwendungen in der Automobil- und Luftfahrtindustrie reichen. Allen eingebetteten Systemen ist gemein, dass sie mit der physischen Umgebung interagieren und ihre Eingaben oft aus der Umgebung ableiten. Aufgrund der Anwendungsbereiche, in denen solche Systeme eingesetzt werden, wird ihr Verhalten häufig durch funktionale (z. B. die Input-Output-Beziehung) und nicht-funktionale Eigenschaften (z. B. die Ausführungszeit oder den Energieverbrauch) eingeschränkt. Dies macht die Prüfung und Validierung solcher Systeme zu einer anspruchsvollen Aufgabe.