This package contains base classes for the model-checking based analyses.