The Swansea Railway Verification Group, supported by about eight academics, was founded in 2007. Its purpose initially was to explore problems posed by Invensys Rail, a multinational technology leader, providing state-of-the-art software-based signalling, communication and control systems that enable the safe and efficient operation of trains in mainline and mass transit networks across the world. Whilst this is still its main focus, its reach and impact has been expanded with projects funded by EPSRC and RSSB.