This is the repository for the tool DeepAbstract. It is a tool for abstraction of FeedForward-Neural Networks as described in Neural Network Abstraction for Verification.
The tool is written in Python 3, any recent version should suffice. The verification relies on ERAN.
./models contains two example models that were also used for the evaluation of the tool in the paper.