РД 03-34-2000
Требования к составу и содержанию отчета о верификации и обосновании программных средств, применяемых для обоснования безопасности объектов использования атомной энергии