Die Übungen finden als Rechnerübungen statt.
In den Übungsaufgaben lernen Sie ein industrielles Software-Werkzeug zur formalen Eigenschaftsprüfung ("property checking") für digitale Systeme kennen.
www.eit.uni-kl.deThe exercises will be held as a computer lab.
In the exercises you will get to know an industrial software tool for formal property checking of digital systems.
www.eit.uni-kl.deAndré Stutzbach
Untersuchung von Überdeckungsmaßen für Property Checking im praktischen Einsatz
Dipl
www.informatik.uni-halle.deAndré Stutzbach
Investigation of over cover measures for Property Checking in the practical use
Dipl
www.informatik.uni-halle.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.Hier kannst du uns Verbesserungen dieses PONS-Eintrags vorschlagen:
Wie kann ich Übersetzungen in den Vokabeltrainer übernehmen?
Bitte beachte, dass die Vokabeln in der Vokabelliste nur in diesem Browser zur Verfügung stehen. Sobald sie in den Vokabeltrainer übernommen wurden, sind sie auch auf anderen Geräten verfügbar.