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您想添加一个词、一个短语或一段译文吗？
请发送新条目。