This package contains analyses patterns for model-checking.