This package contains classes for the UI of model-checking-based semantic analyses.