Überdeckungsmaße für Property Checking von Hardware

In dem Projekt wird nach Ansätzen gesucht, die es erlauben, zu quantifizieren, inwieweit die Validierung eines Systems vollständig ist. In der Praxis erfolgt heutzutage der Test, ob das implementierte System die gewünschte Funktionalität hat, im Rahmen einer so genannten Modellüberprüfung, d.h. es wird überprüft, ob die Implementierung einem Satz von Eigenschaften genügt. Inwiefern dieser Satz von Eigenschaften in Bezug auf die gewünschte Funktionalität vollständig ist, ist in der Regel der Intuition des Verifikatioonsingenieurs überlassen. Es sind Ansätze und Werkzeuge zu entwickeln, die den Verifikationsingenieur bei der Einschätzung der Vollständigkeit des Eigenschaftensatzes unterstützen.