Teilprojekt A :
"Bewertung und Vergleich von Verfahren zur Analyse der Aussagekraft von Model-Checking-Nachweisen" Im Rahmen dieses Teilprojektes wurden mehrere Verfahren zur Analyse der Aussagekraft von Model-Checking-Nachweisen (u. a.Vacuity Detection, Model Checking Coverage, Witness Generation) untersucht.
Ein Vergleich der ermittelten Verfahren, insbesondere in Hinblick auf die zugelassenen temporalen Logiken und auf die Aussagekraft der gelieferten Information, u. a. für eine eventuelle Fehlersuche, wurde durchgeführt.
www11.informatik.uni-erlangen.deSub-project A :
Evaluation and Comparison of Techniques for Analysing the Explanatory Power of Model Checking Proofs Within this sub-project a number of techniques for analysing the significance of model checking proofs were examined (a. o. vacuity detection, model checking coverage, witness generation).
The techniques identified were compared, especially in terms of their underlying temporal logic and of the explanatory power of the information derived, a. o. for the purpose of fault detection.
www11.informatik.uni-erlangen.deΕδώ μπορείτε να σημειώσετε βελτιωτικές προτάσεις ή σχόλια σχετικά με λάθη σε αυτό το λήμμα:
Πώς μπορώ να μεταφέρω τις μεταφράσεις στον προπονητή λεξιλογίου;
Έχετε υπόψη ότι τα λήμματα σε αυτήν τη λίστα λεξιλογίου διατίθενται μόνο σε αυτό τον περιηγητή. Μόλις τα περάσετε όμως στον προπονητή λεξιλογίου, θα μπορείτε να τα καλέσετε από παντού.