Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks - Artifact. - Müller, Mark Niklas; Fischer, Marc; Staab, Robin; Vechev, Martin T. (Zenodo, 2023)