The Rust programming language has significant potential to be impactful with respect to software security, particularly as the formal verification tools for the language mature.
What formal verification tools are there so far?
-
-
Oxide from
@aatxe is interesting. See his paper and the related works section.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Are any of them usable?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.