| Subject | English | Russian |
| progr. | not verifiable type-safe managed code | неверифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в соответствии с type safety contract (условиями безопасности типов), для которого нельзя гарантировать проверку корректности в ходе выполнения. Безопасность такого кода может контролироваться другими средствами, не связанными напрямую с исполнительной системой ssn) |
| progr. | verifiable type-safe managed code | верифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в строгом соответствии с условиями кода, безопасного по отношению к типам, для которого можно гарантировать проверку соблюдения этих условий в ходе выполнения ssn) |