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.de您可在此指出该PONS条目的错误或提出改进建议：
如何在词汇练习助手中接受翻译内容？
请注意，词汇表中的这些词语在本浏览器中是可以使用的。只要这些词语已被收入词汇练习助手，即可随时调用。