An entirely subjective and opinionated diagram of connections between various components of Software Verification and Validation. Network magic courtesy of visjs/vis-network, with code here.