Does anyone here know much about how they validate correct operation of hardware / firmware / software in the nuclear industry? I'm interested in this question

Does anyone here know much about how they validate correct operation of hardware / firmware / software in the nuclear industry? I'm interested in this question but don't know where to start reading about it.