practicalformalmethods/neuro-aware-verification repository overview

⁠Instructions

Images are tagged as <map>_<NN_Analyzer>. Each image contains all the code necessary to run the hybrid analysis. A brief description and instructions to run are provided at /root/README.md inside each container.

⁠Steps to use

1. Pull any specific tag : docker pull practicalformalmethods/neuro-aware-verification:<tagname>
2. docker run -it practicalformalmethods/neuro-aware-verification:<tagname> /bin/bash

Make sure that you exec into a container using bash (or otherwise run source ~/.bashrc) to get appropriate environment variables. There is a minimal .vimrc provided in each container.