React driven web interface for DryVR(Data-driven verification and compositional reasoning for automotive systems). Still in development