SPARTA

SPARTA is a library designed to facilitate the development of high-performance static analyzers based on the theory of Abstract Interpretation. It provides a set of software components that simplify the engineering process, allowing developers to focus on semantics, partitioning, and abstraction of program properties. This library is particularly useful for creating analyzers that can perform formal verification in various contexts, including aerospace software. SPARTA is a header-only library, making it easy to integrate into existing projects.