Основным отличием Verona от Rust является применение модели
владения на основе групп объектов, а не
единичных объектов. Данные в Verona рассматриваются как структуры, представляющие собой коллекции объектов. Проверки заимствования и контроль владения производятся в привязке к группе объектов, что позволяет обеспечить безопасность при манипуляциях с составными структурам и лучше отражает уровень абстракции, обычно применяемый при разработке.
https://www.opennet.ru/opennews/art.shtml?num=51966