We will present the state of the art for the use of automated formal methods in the development of control systems, using an exemplar in the nuclear sector.  Formal methods have been acknowledged as a very powerful set of techniques with potential to significantly improve the speed and quality of software deployment but usually requiring the use of rare, expensive skills.  We show the how automated formalism is introduced through software requirements, design and code and used as the basis for automatic, independent verification. The possible claims for certification credit are also discussed, metrics are presented.