|
@damienstanton | |||||
|
I found this project especially interesting wrt formal verification: pm.inf.ethz.ch/research/prust…
|
||||||
|
||||||
|
snupe
@alphasnupe
|
10. lis |
|
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.
|
||
|
||
