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.