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Εδώ μπορείτε να σημειώσετε βελτιωτικές προτάσεις ή σχόλια σχετικά με λάθη σε αυτό το λήμμα:
Πώς μπορώ να μεταφέρω τις μεταφράσεις στον προπονητή λεξιλογίου;
Έχετε υπόψη ότι τα λήμματα σε αυτήν τη λίστα λεξιλογίου διατίθενται μόνο σε αυτό τον περιηγητή. Μόλις τα περάσετε όμως στον προπονητή λεξιλογίου, θα μπορείτε να τα καλέσετε από παντού.