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Здесь Вы можете сообщить об ошибке в данной статье PONS или внести поправку:
Как внести перевод слова в словарный тренажер?
Пожалуйста, учтите, что лексика, находящаяся в списке лексики, доступна только в данном браузере. Лексика, перенесенная в словарный тренажер, становится общедоступной.