Проверка кода

•Среда выполнения основывается на истинности следующих утверждений для поддающегося проверке строго типизированного кода:

•ссылка на тип строго совместима с адресуемым типом;

•для объекта вызываются только правильно определенные операции;

•удостоверения являются подлинными.