Login / Signup

SANTA: A safety analysis code for neutron absorbers in spent nuclear fuel pools.

Geon KimYunsong JungMyeongkyu LeeEisung YoonSangjoon Ahn
Published in: Comput. Phys. Commun. (2023)
Keyphrases
  • safety analysis
  • nuclear power plant
  • safety critical
  • control system
  • symbolic model checking
  • source code
  • fault model
  • real time
  • orders of magnitude
  • mathematical model
  • fault tolerant
  • partial observability