مایکروسافت به عنوان بخشی از پروژه آزمایشی ورونا یک زبان برنامه نویسی جدید مبتنی بر زبان Rust و متمرکز بر توسعه برنامه های کاربردی امن که مشمول مشکلات امنیتی معمولی نیستند. متن منبع تحولات جاری مرتبط با پروژه در آینده نزدیک برنامه ریزی شده است دارای مجوز Apache 2.0.
توانایی استفاده از زبان در حال توسعه، از جمله برای پردازش اجزای سطح پایین ویندوز به منظور جلوگیری از مشکلات احتمالی که هنگام استفاده از زبان های C و C++ ایجاد می شود. ایمنی کد با مدیریت خودکار حافظه افزایش می‌یابد، که نیاز توسعه‌دهندگان را به دستکاری نشانگرها از بین می‌برد و در برابر مشکلات ناشی از دستکاری حافظه سطح پایین، مانند دسترسی پس از آزادسازی، عدم ارجاع اشاره گر تهی، و بیش از حد بافر محافظت می‌کند.
تفاوت اصلی Verona و Rust در استفاده از مدل است بر اساس گروهی از اشیاء به جای . داده ها در ورونا به عنوان ساختارهایی در نظر گرفته می شوند که مجموعه ای از اشیاء هستند. بررسی های استقراضی و بررسی های مالکیت در رابطه با گروهی از اشیاء انجام می شود که به اطمینان از ایمنی در هنگام دستکاری ساختارهای ترکیبی کمک می کند و سطح انتزاع معمولاً در توسعه را منعکس می کند.
منبع: opennet.ru