This publication defines a framework that represents the state of the art of assessment methodologies for safety and instrumentation and control software used at nuclear power plants. It describes an ...