MPAI : MPI Abstract Interpretation

MPAI Virtualbox's VM is available here