Microsoft com a part del projecte pilot de Verona un nou llenguatge de programació basat en el llenguatge Rust i enfocat a desenvolupar aplicacions segures que no estiguin subjectes a problemes de seguretat típics. Es preveuen textos font dels desenvolupaments actuals relacionats amb el projecte en un futur proper amb llicència d'Apache 2.0.
la capacitat d'utilitzar un llenguatge en evolució, inclòs per reelaborar components de Windows de baix nivell per tal de bloquejar els possibles problemes que apareixen quan s'utilitzen llenguatges C i C++. La seguretat del codi es millora amb la gestió automàtica de la memòria, que estalvia als desenvolupadors d'haver de manipular punters i protegeix dels problemes que sorgeixen a causa de la manipulació de la memòria de baix nivell, com ara accedir a una àrea de memòria després d'haver-se alliberat, desreferenciar punters nuls i desbordaments de memòria intermèdia. .
La principal diferència entre Verona i Rust és l'ús del model basat en grups d'objectes, no . Les dades a Verona es tracten com a estructures, que són col·leccions d'objectes. Les comprovacions d'endeutament i el control de la propietat es realitzen en relació a un grup d'objectes, la qual cosa permet la seguretat a l'hora de manipular estructures compostes i reflecteix millor el nivell d'abstracció que s'utilitza habitualment en el desenvolupament.
Font: opennet.ru