Publikace na Matematicko-fyzikální fakulta, Ústřední knihovna |
2005
Abstrakt
Model checking of a nontrivial component-based application yields very long error traces. We present two techniques designed to address the problem of localization and debugging the actual specification: state space visualization and protocol annotation.