This project contains the analysis algorithms and their components, e.g., abstract domains, abstract reachability graphs, refinement strategies, precisions, etc. The formalism specific components (e.g., the interpreter) are implemented in separate projects for the given formalism.