R implementation of COPAAL and its improvements like storing paths, virtual types, and use of Property-Property-Graph - View it on GitHub