D-RisQ Ltd is a fifteen-person SME, which has been operating for ten years and is located in the Malvern Hills Science Park, Malvern, Worcestershire. The Company is bringing to market a suite of automated systems and software development tools embracing Formal Methods mathematics and the concept of “proof” which will provide aerospace level verification (DO178C) at an affordable cost. These will fundamentally change the way that all companies develop their systems and software by providing a means to ensure there is only ever the wanted behaviour and automatically providing the evidence of this to customers and/or the regulatory authorities. The resulting reduction in the need to test and manually review systems and software design, also greatly reduces development costs and time.