微軟是維羅納試點計畫的一部分 一種基於 Rust 語言的新程式語言，專注於開發不受典型安全問題影響的安全應用程式。 計劃在不久的將來提供與該項目相關的當前開發的源文本 在 Apache 2.0 下獲得許可。
使用正在開發的語言的能力，包括處理低階 Windows 元件，以阻止使用 C 和 C++ 語言時出現的潛在問題。 自動記憶體管理增強了程式碼安全性，使開發人員無需操作指針，並防止低階記憶體操作引起的問題，例如釋放後存取、空指針取消引用和緩衝區溢位。
Verona 和 Rust 的主要差異在於模型的使用 基於物件群組而不是 。 維羅納中的資料被視為物件集合的結構。 借用檢查和所有權檢查是針對一組物件執行的，這有助於確保操作複合結構時的安全性，並更好地反映開發中通常使用的抽象層級。
來源： opennet.ru