This report provides practical guidance on the methods available for verification of the software and validation of computer based systems in nuclear power plants, and on how and when these methods can be effectively applied. It will be of particular interest to all those involved in the development, implementation, maintenance and use of software and computer based instrumentation and control …