Verification The SIMCO containment code applied to modeling hydrogen distribution in containments of nuclear power facilities 6/22/2018 2018 - #02 Global safety, reliability and diagnostics of nuclear power installations Dorovskikh V.I. Dorokhovich S.L. Zajtsev A.A. Levchenko V.A. Leonov I.N. Verification of applied programs generation and loading for safety systems of nuclear power plants based on a reverse-engineering method 6/22/2018 2018 - #02 Modelling processes at nuclear facilities Belonosov M.A. Kishkin V.L. Korolev S.A. Development and verification of a software system for probabilistic safety analysis of nuclear installations project direction «PRORYV» 3/28/2016 2016 - #01 Global safety, reliability and diagnostics of nuclear power installations Abramov L.V. Bakhmetyev A.M. Bylov I.A.