| Subject | English | Russian |
| dipl. | be verifiable by national technical means | поддающийся проверке национальными техническими средствами |
| dipl. | be verifiable by national technical means | поддающийся контролю национальными техническими средствами |
| ed. | being verifiable | доказуемость |
| ed. | being verifiable | верифицируемость |
| UN | cut-off treaty: non-discriminatory, multilateral and internationally and effectively verifiable treaty banning the production of fissile material for nuclear weapons or other nuclear explosive devices | договор о прекращении производства договоре о прекращении производства расщепляющегося материала |
| scient. | easily verifiable | легко проверяемый (результат Sergei Aprelikov) |
| softw. | formally verifiable | формально верифицированный (adacore.com Alex_Odeychuk) |
| progr. | formally-verifiable software | формально верифицируемое программное обеспечение (Alex_Odeychuk) |
| progr. | formally-verifiable software development | разработка формально верифицируемого программного обеспечения (Alex_Odeychuk) |
| hist. | historically verifiable | выдерживающий проверку на соответствие исторических фактам (Alex_Odeychuk) |
| math. | inductively verifiable | индуктивно проверяемый |
| math. | inductively verifiable law | индуктивно проверяемый закон |
| progr. | not verifiable type-safe managed code | неверифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в соответствии с type safety contract (условиями безопасности типов), для которого нельзя гарантировать проверку корректности в ходе выполнения. Безопасность такого кода может контролироваться другими средствами, не связанными напрямую с исполнительной системой ssn) |
| progr. | not verifiable type-safe unmanaged code | неверифицируемый неуправляемый код, безопасный по отношению к типам (любой неуправляемый код (напр., код из динамически подключаемых библиотек), созданный с максимальным учетом требований безопасности по отношению к типам, но для которого невозможно контролировать соблюдение этих требований в процессе исполнения ssn) |
| busin. | objective and verifiable criteria | объективные и прозрачные критерии (Rori) |
| tech. | Objectively Verifiable Indicators | объективные данные (aandrusiak) |
| data.prot. | publicly verifiable burn address | общедоступный электронный адрес для проверки информации о выведении монет из обращения в криптовалютной системе (financial-engineer) |
| gen. | specifiable and verifiable | поддающийся определению и проверке (AKarp) |
| sl., drug. | tamper-resistant, individually verifiable seals | надёжные, проверяемые в индивидуальном порядке пломбы |
| dipl. | this statement is not verifiable | это заявление нельзя проверить |
| dipl. | verifiable agreement | соглашение, выполнение которого поддаётся контролю |
| mil. | verifiable agreement | поддающееся проверке соглашение |
| gen. | verifiable agreements | поддающиеся контролю соглашения |
| progr. | verifiable concurrency | верифицируемое многопоточное выполнение (русс. термин "многопоточное выполнение" взят из кн.: Салмре И. Программирование мобильных устройств на платформе .Net Compact Framework: разработка программного обеспечения для мобильных устройств Alex_Odeychuk) |
| busin. | verifiable cost | подтверждённые расходы (elena.kazan) |
| progr. | verifiable diagram | верифицируемая диаграмма (Alex_Odeychuk) |
| law | verifiable fact | факт, могущий быть установленным |
| math. | verifiable formula | проверяемая формула |
| math. | verifiable formula | верифицируемая формула |
| math. | verifiable hypothesis | проверяемая гипотеза |
| sec.sys. | verifiable identification | проверяемая идентификация |
| sec.sys. | verifiable identification | доказуемая идентификация |
| energ.ind. | verifiable indicator | проверяемый показатель (напр., результатов испытаний) |
| math. | verifiable induction | проверяемая индукция |
| busin. | verifiable information | достоверная информация (ART Vancouver) |
| busin. | verifiable information | достоверные данные (ART Vancouver) |
| metrol. | verifiable instrument | поверяемый прибор |
| tech. | verifiable instrument | поверяемый измерительный прибор |
| tech. | verifiable instrument | поверяемое средство измерений |
| gen. | verifiable limitations | поддающиеся контролю ограничения |
| gen. | verifiable methods | верифицируемые методы (Ker-online) |
| gen. | verifiable methods | методы, достоверность которых возможно подтвердить (Ker-online) |
| gen. | verifiable methods | проверяемые методы (Ker-online) |
| gen. | verifiable methods | методы, которые возможно подтвердить (Ker-online) |
| gen. | verifiable methods | методы, поддающиеся проверке (Ker-online) |
| gen. | verifiable methods | методы, которые можно проверить (Ker-online) |
| progr. | verifiable program | верифицируемая программа (компании AdaCore Alex_Odeychuk) |
| adv. | verifiable prohibition | поддающееся проверке запрещение |
| sec.sys. | verifiable proof | проверяемое доказательство |
| sec.sys. | verifiable proof | верифицируемое доказательство |
| data.prot. | verifiable proofing | верифицируемое доказательство |
| data.prot. | verifiable proofing | проверяемое доказательство |
| mil. | verifiable reduction | поддающееся проверке сокращение |
| gen. | verifiable representation | утверждение о фактах, соответствие действительности которых можно проверить (Alexander Demidov) |
| progr. | verifiable type-safe managed code | верифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в строгом соответствии с условиями кода, безопасного по отношению к типам, для которого можно гарантировать проверку соблюдения этих условий в ходе выполнения ssn) |
