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.deAqui pode apontar um erro nesta entrada PONS ou propor uma correção:
Como é que posso transferir as traduções para o Treinador de Vocábulos?
Por favor, preste atenção ao facto de que os vocábulos na Lista de Vocábulos só estão disponíveis neste browser. Assim que os vocábulos forem recolhidos no Treinador de Vocábulos, eles estarão disponíveis em todo o lado.