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.deVoulez-vous ajouter des mots, des phrases ou des traductions ?
Proposez de créer une nouvelle entrée pour un mot.Vous pouvez indiquer ici une erreur apparue dans cet article de PONS ou bien proposer une amélioration :
Comment puis-je reprendre mes traductions dans l'entraineur de vocabulaire ?
Attention : Les mots de la liste de vocabulaire ne sont disponibles qu'à partir de ce navigateur Internet. À partir du moment où cette liste sera copiée dans votre entraineur de vocabulaire, elle sera disponible de partout.