Внезапно обнаружили, что ядерная пятёрка в конце прошлого года таки разродилась новым Глоссарием по ядерной терминологии. Файл доступен по ссылке.
Довольно много интересного, включая раздел по верификации, например.
Также обратите внимание, что Глоссарий-22 не заменяет, а дополняет прошлый, доступный, например, здесь.