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.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.