Curtis Walker@alphasnupe·Oct 10, 2019The Rust programming language has significant potential to be impactful with respect to software security, particularly as the formal verification tools for the language mature.51189
Aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa@Aaaaaaa93564923·Dec 14, 2019Replying to @alphasnupeWhat formal verification tools are there so far?2
Curtis Walker@alphasnupeReplying to @Aaaaaaa93564923Oxide from @aatxe is interesting. See his paper and the related works section.4:18 PM · Dec 14, 2019·Twitter for Android
